9 Jun
                
                    2017
                
            
            
                9 Jun
                
                '17
                
            
            
            
        
    
                7:46 p.m.
            
        2017-06-09 16:26 GMT-03:00 Bryce Harrington <bryce@...961...>:
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.
Great! I was just not aware of it, sorry.