Published on 2017-04-19

Here is how I rename a tag old to new: ...