Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Check maintainers can modify before attempting to update (#101)
To avoid messages such as `{"message":"user doesn't have permission to update head repository","documentation_url":"https://docs.github.com/rest/pulls/pulls#update-a-pull-request-branch"}` Signed-off-by: Yarden Shoham <[email protected]>
- Loading branch information