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

chore(deps): update plugins #631

Merged
merged 2 commits into from
Oct 13, 2022
Merged

chore(deps): update plugins #631

merged 2 commits into from
Oct 13, 2022

Conversation

updatecli-gha-in-jenkins-infra-org[bot]
Copy link
Contributor

Changes:

Updating plugins

@updatecli-gha-in-jenkins-infra-org updatecli-gha-in-jenkins-infra-org bot added dependencies Pull requests that update a dependency file plugins labels Oct 11, 2022
Copy link
Contributor

@dduportal dduportal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Our GHA for automatic plugins upgrade does not keep comments :(

I'm blocking this PR until the plugins are released

@updatecli-gha-in-jenkins-infra-org updatecli-gha-in-jenkins-infra-org bot force-pushed the update-plugins branch 2 times, most recently from 774c435 to 4129909 Compare October 11, 2022 17:14
Copy link
Contributor

@smerle33 smerle33 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

@smerle33 smerle33 requested a review from dduportal October 13, 2022 06:48
@smerle33
Copy link
Contributor

Our GHA for automatic plugins upgrade does not keep comments :(

I'm blocking this PR until the plugins are released

this has been taken care within an issue :
#632

Copy link
Contributor

@dduportal dduportal left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

  • issue opened to track the "incremental" plugins

plugins.txt Outdated Show resolved Hide resolved
plugins.txt Outdated Show resolved Hide resolved
@smerle33 smerle33 merged commit 5e75c82 into main Oct 13, 2022
@smerle33 smerle33 deleted the update-plugins branch October 13, 2022 12:43
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
dependencies Pull requests that update a dependency file plugins
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants