~/Src/publish-pants master git push origin release_1.2.0-dev5
Username for '<https://github.com>': gmalmquist
Password for '<https://gmalmquist@github.com>':
Counting objects: 79, done.
Delta compression using up to 8 threads.
Compressing objects: 100% (44/44), done.
Writing objects: 100% (79/79), 13.76 KiB | 0 bytes/s, done.
Total 79 (delta 59), reused 39 (delta 25)
remote: Resolving deltas: 100% (59/59), completed with 36 local objects.
To <https://github.com/pantsbuild/pants.git>
 * [new tag]         release_1.2.0-dev5 -> release_1.2.0-dev5
~/Src/publish-pants master git remote -v
origin  <https://github.com/pantsbuild/pants.git> (fetch)
origin  <https://github.com/pantsbuild/pants.git> (push)
~/Src/publish-pants master