Add gh-clean to gh-push. rename gh-retry to gh-revert
Quiet some checkouts in gh-revert and gh-push
rename gh-retry to gh-revert. add gh-clean to gh-push