You can get rid of the errors by doing
git remote prune
Where is the name you have for the upstream repo, normally
'origin'.
Alan
On Thu, 27 May 2021 at 16:11, Sylvain Henry wrote:
> > error: cannot lock ref 'refs/remotes/origin/wip/hsyl20/dynflags':
>
error: cannot lock ref 'refs/remotes/origin/wip/hsyl20/dynflags':
'refs/remotes/origin/wip/hsyl20/dynflags/exception' exists; cannot
create 'refs/remotes/origin/wip/hsyl20/dynflags'
This one is because I've removed some of my wip branches already merged
upstream. Their names were conflicting
I'm getting these errors from `git submodule update`. Should I worry?
Simon
>From https://gitlab.haskell.org/ghc/haddock
* [new branch]az/T19834
-> origin/az/T19834
* [new branch]az/T19834-2
