Age | Commit message (Collapse) | Author | |
---|---|---|---|
2023-12-20 | Add Action to add label to PR on merge conflict (#265) | GeckoEidechse | |
Adds a GitHub Action that auto-adds a label to a PR in case there are merge conflicts. | |||
2023-10-29 | Make add-to-project work on PRs (#252) | Jack | |
Adds PRs to the project board upon PR creation. | |||
2023-10-19 | Run linkcheck on push and pull request (#239) | GeckoEidechse | |
Checks whether any links in markdown files in a push or pull request are broken. | |||
2023-10-16 | Add workflow for adding Issues to the project board (#242) | Jack | |
Automatically adds all opened issues to the project board. |