Commit Briefs
comparison.html: got tag is more like git tag -a
git tag creates by default lightweight tags, which we don't create at all, so the distinction is fairly important. naddy agrees
git tag creates by default lightweight tags, which we don't create at all, so the distinction is fairly important. naddy agrees