search

AdaCore / gnatstudio

GNAT Studio is a powerful and lightweight IDE for Ada and SPARK.
412 stars 53 forks source link

Missing release tags #104

Closed Xiretza closed 4 years ago

Xiretza commented 4 years ago

The last tag in this repository is from 2016, are there any plans to fix this? Right now the only way to get an immutable version of this repository is to just pick a random commit and pin that, which is less than ideal.

godunko commented 4 years ago

Hello,

For historical reasons tags are not used in this repository. Branch is created for each official release instead of tag.

Xiretza commented 4 years ago

But branches are inherently mutable. I had been using the tip of the 20.2 branch for the gnat-gps AUR package, which worked fine until ba40aed530e31f70d14b437b94b529a4d1f8253e came along... Branches are not releases and never will be.

Xiretza commented 4 years ago

You say there's a branch for every official release - what I'm interested in are exactly those official releases. Where can I find them? I really just need a fixed download location whose content is guaranteed not to change. As can bee seen by ba40aed530e31f70d14b437b94b529a4d1f8253e, https://github.com/AdaCore/gps/archive/20.2.tar.gz obviously doesn't meet those criteria.