On Saturday, 19 September 2020 at 00:29:37 UTC, Iain Buclaw wrote:
[...]
I can provide a server for you to upload to. Git tags for
Great.
versioning might be interesting for uploads, but they're not
going to be binaries that will stay around for too long.
This is a bastardized version of the git gcc-descr alias.
git describe --all --abbrev=40 --match 'basepoints/gcc-[0-9]*'
origin/master | sed -n 's,^\(tags/\)\?basepoints/gcc-,r,p'
That should get you a tag like
r11-3179-g5de41c886207a3a0ff1f44ce0a5a644e9d9a17f8
Thanks.
