Hi -
> > https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;a=heads;h=refs/users/marxin/heads
>
> Apparently such page does not list user branches.
I believe this is because of unusual gcc git conventions, where the
refs/heads/ and refs/users/heads/ directories are distinct. I believe
have gitweb exp
On 7/10/20 10:19 AM, Martin Liška wrote:
current URL is long as:
https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;a=heads;h=refs/users/marxin/heads
Apparently such page does not list user branches.
So we can at least redirect to a user branch log:
https://gcc.gnu.org/git/gitweb.cgi?p=gcc.git;a=log
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
