]> _ Git - alire.git/commit
Allow named references to identify the commit for a remote pin (#718)
authorAlejandro R Mosteo <alejandro@mosteo.com>
Fri, 26 Mar 2021 11:34:10 +0000 (12:34 +0100)
committerGitHub <noreply@github.com>
Fri, 26 Mar 2021 11:34:10 +0000 (12:34 +0100)
commitc63615df9bed6212881f61d769ab189b3f425a8b
treed88c4f0769772ddcacc2e3c1d8679c42327b5fb0
parent551370b8999b1f1bbdd6f878408bc5c7f4207570
Allow named references to identify the commit for a remote pin (#718)

* Allow using named commits for remote pinning

* Update pin/with help for general references

* Update build in version
src/alire/alire-origins.ads
src/alire/alire-roots.adb
src/alire/alire-vcss-git.adb
src/alire/alire-vcss-git.ads
src/alire/alire.ads
src/alr/alr-commands-pin.adb
src/alr/alr-commands-pin.ads
src/alr/alr-commands-withing.adb
src/alr/alr-commands-withing.ads