It would be nice if releases would be tagged again in git.
It would be nice if releases would be tagged again in git.