Hi Gerald, On Sun, Dec 01, 2024 at 07:26:45PM +0100, Gerald Pfeifer wrote: > On Fri, 23 Aug 2024, Eric Gallager wrote: > >>> The branch, python-formatting has been created > >>> at e1e17c97a8ae35cfb6b2f7428fb52b05f82450d1 (commit) > >> Hmm, are you intentionally creating a branch for the wwwdocs repository > >> (i.e., our web pages)? I don't recall us having used one before. > > Sorry about that, I'd meant to create it just for my copy of the repo > > that's mirrored to GitHub, but pushed it to the wrong remote by > > accident. > > I tried to delete it via > > # git push origin --delete remotes/origin/python-formatting > > alas just get > > error: unable to delete 'remotes/origin/python-formatting': remote ref does > not exist > > Any idea how to drop that branch again from the main gcc.gnu.org repo?
I believe the correct invocation is: $ git push origin --delete python-formatting against your local repo where your origin is ssh://ger...@gcc.gnu.org/git/gcc-wwwdocs.git If that doesn't work we'll have to clean it up on the server. Cheers, Mark
