diff options
| author | GeckoEidechse <40122905+GeckoEidechse@users.noreply.github.com> | 2023-12-20 17:25:48 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2023-12-20 17:25:48 +0100 |
| commit | b73fee21e2ba5294b5820d2baa35bde7f2961c6c (patch) | |
| tree | be996a9c43c1b9d6d3100566ea98caab62fea8ce /docs/DEV-TOOLS.md | |
| parent | 9e8bcb16ad67e1339d51bacbe715121dbefcbcbb (diff) | |
| download | FlightCore-b73fee21e2ba5294b5820d2baa35bde7f2961c6c.tar.gz FlightCore-b73fee21e2ba5294b5820d2baa35bde7f2961c6c.zip | |
ci: Add Action to add label to PR on merge conflict (#712)
Adds a GitHub Action that auto-adds a label to a PR in case there are merge conflicts.
Diffstat (limited to 'docs/DEV-TOOLS.md')
0 files changed, 0 insertions, 0 deletions