@hackage git-gpush3.0.0

More intelligent push-to-GitHub utility.