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

autoupdate: label first PR in the queue #107

Merged
merged 6 commits into from
Mar 11, 2024
Merged

autoupdate: label first PR in the queue #107

merged 6 commits into from
Mar 11, 2024

Conversation

fho
Copy link
Contributor

@fho fho commented Mar 11, 2024

The autoupdater now adds a github label to the first PR in the queue.
When it is removed from the first place the label gets removed.
The label allows to coordinate actions between autoupdater and the trigger rules, to
e.g. only trigger CI runs when a PR is first in the queue.

The label that is added can be configured via the new field autoupdater.queue_pr_head_label in the configuration file.

fho added 6 commits March 5, 2024 12:55
- rename Sync to InitialSync, we only run it before starting the autoupdater
- Remove from all PRs the configured queueHeadLabel during Initial Sync
convert the helper string set helper functions to an own package with a generic
set type
The first PR in the autoupdate queue now gets a GitHub label applied.
When the first place changes the label is removed and the first PR gets the
label applied.

The label will allow to coordinate actions between autoupdater and the rules, to
e.g. only trigger CI runs when a PR is first in the queue.
@fho fho self-assigned this Mar 11, 2024
@fho fho marked this pull request as ready for review March 11, 2024 10:33
@fho fho enabled auto-merge March 11, 2024 10:34
@fho fho disabled auto-merge March 11, 2024 10:34
@fho fho merged commit 6d218e7 into main Mar 11, 2024
5 checks passed
@fho fho deleted the autoupdate_label_first branch March 11, 2024 10:34
@fho fho changed the title autopdate: label first PR in the queue autoupdate: label first PR in the queue Mar 11, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Development

Successfully merging this pull request may close these issues.

1 participant