kdevelop git/master branch tag

[René J.V. Bertin]

On Monday August 29 2016 19:49:59 Sven Brauch wrote:
>On 29/08/16 19:47, Kevin Funk wrote:
>> To be honest, I understand why. In kdevelop.git the v5.0.0 tag got merged 
>> into master branch.
>Me neither. In both repos both tags are contained in both branches (git
>branch --contains ...). That should be sufficient, no?

Well, a version number is purely information in a certain way, but it's just practical to be able to use `git describe` to translate a (random) commit hash to a monotonically increasing version number.

R.