Re: Git push tries to delete branch twice and fails

>
> On Fri, Jun 6, 2025, at 13:20, Ondra Medek wrote:
> > I have a git 2.49.0 (Windows) and one local working tree is kind of
> > broken, when I try:
> >
> > $ git push origin branch1
> > Total 0 (delta 0), reused 0 (delta 0), pack-reused 0 (from 0)
> > To file:///c:/...
> >  * [new branch]            branch1 -> branch1
> > Everything up-to-date
> >
> > $ git push origin :branch1
> > To file:///c:/...
> >  - [deleted]               branch1
> > error: unable to delete 'branch1': remote ref does not exist
> > error: failed to push some refs to 'file:///c:/...'
>
> I was note able to reproduce on Git 2.49.0 on Linux.  Both through a
> HTTPS remote as well as a local (filesystem) remote.
>
> ```
> $ ./git diagnose
> Collecting diagnostic info
>
> git version 2.49.0
> cpu: x86_64
> built from commit: 683c54c999c301c2cd6f715c411407c413b1d84e
> sizeof-long: 8
> sizeof-size_t: 8
> shell-path: /bin/sh
> libcurl: 7.81.0
> OpenSSL: OpenSSL 3.0.2 15 Mar 2022
> zlib: 1.2.11
> Repository root: <path>
> Available space on '<path>': 202.28 GiB (mount flags 0x1000)
> ```
>
> > So, the same `git push` command first deletes the branch and then
> > fails because it does not exist. It worked well until something
> > happened and since that time it's broken. I've tried `git gc
> > --aggressive --prune`, but it didn't help.
> >
> > When I do `git clone` of the same repository to another local working
> > tree, then it's OK - the branch is deleted without the error.
> >
> > Is this a Git bug? Is it possible to fix the local working tree except
> > for a new git clone?
> >
> > Note: I am developing an app which uses (creates and deletes) custom
> > refs often. So, I've hit this bug when trying to delete a custom ref.
> > I have cleared all custom refs and tried that with Git branches.
> >
> > Cheers
> > Andy