In order to fix the ‘git describe’ command which previously not able to generate any meaningful information, I have converted the last lightweight tag into annotated tag (at the point of its creation time). As part of the last commit, I have to force push the updated tags into remote repository. If you don’t re-fetch the tags (git fetch --tags) then your tag 1.3 would still remain as lightweight tag. In either case, however, ‘git describe --always --tags’ should give something like this: 1.3-888-gd3382cb. Note the ‘1.3’ was not there before.
Anyway, the subject of this topic is, it is time for a new release? We have 888 commits after the last tag. In Chinese believe, that’s an auspicious number to do anything.