Github offers the closing issue functionality with fixes or fixed (fixes #000) keyword. In our case we don't want to close issues but we want to change label to finished.
On pull request merge we can parse description and check if first word before issue tag is an label name then automatically set it.
Ex:
finished #000on-stage #000
Hint:
The on-stage keyword should be checked as on-stage and on stage
mirekm
commented
10 years ago
Github offers the closing issue functionality with
fixesorfixed(fixes #000) keyword. In our case we don't want to close issues but we want to change label tofinished.On pull request merge we can parse description and check if first word before issue tag is an label name then automatically set it.
Ex:
finished #000on-stage #000Hint: The
on-stagekeyword should be checked ason-stageandon stage