I carelessly did "git push --mirror" in the octave-symbolic repo, and I thought all it would do was push all of my branches. Unfortunately, it also removed all of the branches I hadn't clone locally. Does someone have them and is able to push them? - Jordi G. H.