List user branches on git web

[Martin Liška]

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;h=refs/users/marxin/heads/slp-function-v4

So a redirection from
https://gcc.gnu.org/git-branches/marxin/heads/slp-function-v4
?

Martin