On 5/14/20, Jonas Hahnfeld <hah...@hahnjo.de> wrote: > To keep this short: I'd like to enable push mirroring from GitLab to > Savannah for the following branches [1]: > - master > - release/unstable > - stable/* > - translation*
Why not staging? (Assuming that’s still gonna be a thing in months to come.) By the way, I still haven’t understood why it would be necessary/advisable to erase all the old branches on Savannah. (I’m thinking about a few branches that may or may not be of historical interest, such as cvs/master and some of the dev/* branches.) V.