On Sun, 3 Jul 2011 03:14:03 -0400, servilio <servilio@gmail.com> wrote:
> 
> I think there is no need for tags on master, "make dist" should only
> be run on the "release" branch, right?
> 

It isn't just about make dist (which I anyway thinks makes sense to run
on master to make snapshots). Every compilation from git gets a version
number from running git-describe.  So unless we want all developers to
have useless/annoying version numbers, we have to care about tags on
master.

d