I would also implement a button for reverting pull requests already merged in master. Reverting merges may be not trivial for less experienced users