Hey. Sometimes it's handy to send somebody a user branch link. However, the current URL is long as: https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;a=heads;h=refs/users/marxin/heads
Would it be possible to make some alias? Something like: https://gcc.gnu.org/git-branches/marxin Thanks, Martin
