Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Improve update-extension-dependencies.sh #15034

Merged
merged 1 commit into from
Feb 12, 2021
Merged

Improve update-extension-dependencies.sh #15034

merged 1 commit into from
Feb 12, 2021

Conversation

famod
Copy link
Member

@famod famod commented Feb 12, 2021

Improves a few things that came up here: https://github.com/aloubyansky/quarkus/runs/1886155176

The root cause of that run failure must be fixed in that branch, though. I've sent @aloubyansky the required grep adjustments via Zulip.

@famod famod added the area/housekeeping Issue type for generalized tasks not related to bugs or enhancements label Feb 12, 2021
@quarkus-bot quarkus-bot bot added the area/infra-automation anything related to CI, bots, etc. that are used to automated our infrastructure label Feb 12, 2021
@famod famod merged commit d3c5f11 into quarkusio:master Feb 12, 2021
@quarkus-bot quarkus-bot bot added this to the 1.13 - master milestone Feb 12, 2021
@famod famod deleted the update-ext-deps-script branch February 12, 2021 15:44
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
area/housekeeping Issue type for generalized tasks not related to bugs or enhancements area/infra-automation anything related to CI, bots, etc. that are used to automated our infrastructure
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants