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
Thanks for it,
Martin
Let me know how it goes. I will finish the work over the weekend
so as to replace the local diff by an actual commit (after review
from a coworker of mine).
