push tags when doing a release
authorDan Vanderkam <danvdk@gmail.com>
Wed, 14 Aug 2013 16:16:08 +0000 (12:16 -0400)
committerDan Vanderkam <danvdk@gmail.com>
Wed, 14 Aug 2013 16:16:08 +0000 (12:16 -0400)
commit06682812a5dee4f35ff02be8fab630ca722edc81
tree9abaa13c7a3350246995b7adf1a9cd9e3f7d07c1
parent7655a77a5e75c2626c10c4264c53d52fe9361f5b
push tags when doing a release
release.sh