Cannot delete remote branch

[gemp]

Hi,

I pushed a branch by mistake while working on it and cannot delete it with git push dokku :my-branch even with -f (it's a Rails app if it's of any relevance). The error goes like this:

remote: fatal: invalid reference: 0000000000000000000000000000000000000000
remote: fatal: not a git repository (or any of the parent directories): .git
remote: fatal: not a git repository (or any of the parent directories): .git
-----> Cleaning up...
-----> Building sif from herokuish
-----> Adding BUILD_ENV to build environment...
       BUILD_ENV added successfully
-----> Fetching custom buildpack
-----> no app detected
remote: grep: /tmp/build/Gemfile.lock: No such file or directory
-----> Compiling Ruby/NoLockfile
       
       !
       !     Gemfile.lock required. Please check it in.
       !
remote:  !     Failure during app build
remote:  !     Retagging old image d8fc2d23950e
remote: 09d3f3339daa
remote: 3fae22f13a97 as dokku/xxx:latest
remote:  !     App build failed
To 100.100.100.100:xxx
 ! [remote rejected] notes (pre-receive hook declined)
error: failed to push some refs to '100.100.100.100:xxx'

Is there a way to delete it on the Dokku instance directly? It's not an actual problem, the app is fine on the master branch, it's just to clean things up a bit:

root@xxx:~# dokku git:report xxx
=====> xxx git information
       Git deploy branch:             notes                    
       Git global deploy branch:      master                   
       Git keep git dir:              false                    
       Git rev env var:               GIT_REV                  
       Git sha:                       175b3b4                  
       Git last updated at:           1672415219               

Thanks and a happy new year to all!

UPDATE Ok, no, it's a problem because I have to push to notes now, master doesn't change... I'm a bit lost.

[gemp]

Apparently I solved this with some sweating...

I used dokku git:set xxx deploy-branch master found while RTFM.

Then a git push -u dokku master worked again and I could delete the remote notes branch.