-
-
Notifications
You must be signed in to change notification settings - Fork 61.7k
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
feat: Create Github Actions to auto manage some labels #7024
Comments
Interesting but I find it a bit useless, it would be better to have a bot that could fully handle labels:
|
pr-merged
Github Action to auto manage some labels
I've found two ways of get files of PR:
or @LuigiImVector what will be better seen your progress with actions in the past (linter, url-check)? |
We can also use EDIT |
Due to amount of labels it will be great have some process to automate label syncing using a file as source. Forks will have the label config synced too Then collaborators could add new labels as part of code, eg. when new locale appears, on new workflow demand... An example will be use this action: https://github.com/crazy-max/ghaction-github-labeler in a workflow called |
I have not found the language labels to be useful. They make it a chore to applied labels at the bottom of the list and are hard to read for my older eyes. Maybe a better way to approach it is to have an action that adds a language notation to the PR title. |
A pattern applied in learnxinyminutes is For English contributions, the file eventually deposit doesn't mention the language explicitly. In this perspective, the name of the markdown file about Fortran90 is read with some irony (because of the then introduced standard safe guard of |
that's a great example! |
About the autoconflicts workflow. We can use: the GH client:gh api repos/EbookFoundation/free-programming-books/pulls/NNNN --jq '{mergeable, mergeable_state, number, title}' where
One of these actions:
Other usefull action to detect potential conflicts even if not yet merged (usefull to mantainers to merge following an order): |
the improvements to linter label management have been invaluable! |
It will be great that when a PR is merged doing some actions
How to handle it: https://docs.github.com/en/actions/using-workflows/events-that-trigger-workflows#running-your-workflow-when-a-pull-request-merges
pr-merged.yml
:Then we need:
Waiting for changes
,stale
...The text was updated successfully, but these errors were encountered: