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.

Sign up for GitHub

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

Jump to bottom

Automate merging the automated PRs from the github workflow(s) #40

Open
pauldg opened this issue Dec 18, 2024 · 0 comments
Open

Automate merging the automated PRs from the github workflow(s) #40

pauldg opened this issue Dec 18, 2024 · 0 comments
Assignees
@B0r1sD
Labels
enhancement New feature or request

Comments

@pauldg
Copy link
Collaborator

pauldg commented Dec 18, 2024

Currently merging the PRs (with new iuc tools and versions) is a manual process.
Since all these tools are vetted by eu/iuc this could be automated.
@pauldg pauldg added the enhancement New feature or request label Dec 18, 2024
@pauldg pauldg changed the title Automate merging the automated PRs from the github workflow{s} Automate merging the automated PRs from the github workflow(s) Dec 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees

@B0r1sD B0r1sD

Labels
enhancement New feature or request
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
2 participants
@pauldg @B0r1sD