avoid push to gh-push when pull request