Age | Commit message (Collapse) | Author | |
---|---|---|---|
2024-01-03 | Schedule the merge conflict labelling to run daily (#631) | Jack | |
2023-12-20 | Add Action to add label to PR on merge conflict (#621) | GeckoEidechse | |
Adds a GitHub Action that auto-adds a label to a PR in case there are merge conflicts. |