Can we put this `edit()` call in a `try... catch github.GithubException` block to improve the error message  readability for non-admins?