On Fri, 2 Oct 2020 at 08:14, Martin Liška wrote: > > On 10/2/20 2:52 AM, Joel Brobecker wrote: > >>> I wonder I can get the branch moved, so I can do the benchmarking :) > >>> Any suggestions how to do that? > > > > I just installed a small patch, hot-fix style which I am hoping will > > fix your problem. Can you try it? It passes the testsuite, so the change > > should be safe. > > I can confirm I was able to delete a branch on remove server: > > $ git push origin --delete refs/users/marxin/heads/gfc-trailing-spec > To git+ssh://gcc.gnu.org/git/gcc.git > - [deleted] refs/users/marxin/heads/gfc-trailing-spec
That's because I fixed GCC's hook to allow branch deletion: https://gcc.gnu.org/pipermail/gcc/2020-October/233914.html
