Github release tags


According to the website, the latest stable release is 2.2.5, but I don’t see a release tag in

What’s the reason for that?

Thank you!

Best Regards,
Isuru Perera

Not 100% sure why tags aren’t used (I’m sure Stéphane can furnish us with the reason) - but the commit for each release has the release number as the comment.
This is the commit for 2.2.5:


I explained our reasons here:

Hi Stéphane,

I think tagging a release is a good practice. We can add the binary distribution to Github and add release notes explaining how to run. See:

It’ll be useful for users who are willing to contribute.

Anyway, I see that you have made up your mind about not doing release tags anymore. Thanks for your help!