we are using Bitbucket server as remote git server (running in our own datacenter). We went through a merge process via the bitbucket web interface. After the merge the branch is not visible in the Bitbucket web interface any longer.
However it still shows as remote branch on my local repository.
[me@local]$ git branch -r | grep RZAO-140-schreibweise-variable
origin/feature/RZAO-140-schreibweise-variable
'ok', I am thinking, 'maybe I need to remove it still somehow'
[me@local]$ git push origin --delete feature/RZAO-140-schreibweise-variable
error: unable to delete 'feature/RZAO-140-schreibweise-variable': remote ref does not exist
error: failed to push some refs to 'https://devtools/bitbucket/scm/ina/automation_postgres.git'
I tried git push origin :branch-name
as an alternative with the same result. The eroor itself makes complete sense ... that branch is not existing on the remote any longer, so I guess I need to clean up the local brain of git, so it does stop to think there was a remote branch of that name.
just .... how to I achieve that?