how about having to revert the merge + re-open issue/PR? or is it hard with a github-oriented workflow? honest question.