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 /.gitignore | |
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 '.gitignore')
0 files changed, 0 insertions, 0 deletions