On Fri, Jun 09, 2017 at 04:10:39PM -0300, Felipe Sanches wrote:
> I suggest we start using git tags for each release. A branch names
> describes a series of commits diverging from the main (master) branch. A
> git tag specifies a single commit (such as the exact commit that contains
> the source code in the state it was when a release happened).
Of course. Actually tagging releases has been part of the process for
quite some time (see `bzr tags`), no reason not to continue doing so
with git.