On 24 August 2015 at 09:17, Jakub Jelinek wrote: > The revision ids are also useful for bugzilla, r123456 > links in text pointing to http://gcc.gnu.org/r123456 is significantly > shorter
The first six characters of the sha1 is usually enough to unambiguously identify a commit, so we could easily have https://gcc.gnu.org/git/f00baa or something similar, if we don't use git-notes to add a revision to the commits.
