Commit 0126667
committed
GH Actions/label mngmnt: auto-remove merge conflict label on PR merge
... as a PR wouldn't have been merged if the merge conflict still existed.
(Adding the "merge conflict" labels works really well, but they don't always seem to get removed quickly enough)1 parent 6f29d9b commit 0126667
1 file changed
+1
-0
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
39 | 39 | | |
40 | 40 | | |
41 | 41 | | |
| 42 | + | |
42 | 43 | | |
43 | 44 | | |
44 | 45 | | |
| |||
0 commit comments