PR submitted on GitHub should set the corresponding issue to "PR created"

• Feb 12, 2018 - 10:04
Priority
P3 - Low
Type
musescore.org
Frequency
Few
Severity
S5 - Suggestion
Status
active
Regression
No
Workaround
No
Project
MuseScore

Whenever a PR gets submitted on Github, the corresponding issue should automagically get set to "patch (code needs review", in a similar fashion as merging it marks the issue as fixed.
There is a PR event that MuseScore.org can get via a webhook https://developer.github.com/v3/activity/events/types/#pullrequestevent

Comments

• Nov 3, 2019 - 13:10
Title PR submitted on Github should set the corresponding issue to "patch (code needs review" ⇒ PR submitted on GitHub should set the corresponding issue to "PR created"

Reply