Please push the tags

[scorphus]

Hi, @mikedilger! Can you please push all the tags? If you don't have them, you could use one of the following.

Either:

bash -c 'IFS=$\'\n\'; for line in `git log --oneline | grep \'\b0\.[1-3]\.\'`; do git tag "$(echo $line | cut -d\  -f2)" "$(echo $line | cut -d\  -f1)"; done'

Or:

git tag 0.3.4 7a66a42
git tag 0.3.3 a1e0c69
git tag 0.3.2 de1a94f
git tag 0.3.1 175a61d
git tag 0.3.0 f311d20
git tag 0.2.6 ebbf16c
git tag 0.2.4 ad544df
git tag 0.2.3 7af53d3
git tag 0.2.2 2450806
git tag 0.2.1 9137eb3
git tag 0.2.0 61339ee
git tag 0.1.2 74e488d
git tag 0.1.1 dd29185

Thanks in advance.

[mikedilger]

I didn't know anybody used the tags. Done.