delete release-v0.1.5 tag ?

[smoser]

It appears to me that the 'release-v0.1.5' tag is simply wrong.

Based on the available tags (below) I'm assuming that:

1. you are planning on moving to release- tag names from 'v'.
2. release-v0.1.5 (d79bd3a) should have been placed on the same commit as v0.1.5 (81ac158)

If that is correct, could you remove or re-set the release-v0.1.5 tag?

$ git tag -l
release-v0.1.5
release-v1.0.0.dev0
v0.0.1
v0.0.2
v0.0.3
v0.0.4
v0.1.0
v0.1.1
v0.1.2
v0.1.3
v0.1.4
v0.1.5
v0.1.5a0