disable push to github for pull requests