|
From: | Jean Abou Samra |
Subject: | Re: Who pushed to GitHub? |
Date: | Sat, 15 Jan 2022 15:33:25 +0100 |
User-agent: | Mozilla/5.0 (X11; Linux x86_64; rv:91.0) Gecko/20100101 Thunderbird/91.3.1 |
Hi all, while deleting the translation branch, I noticed that quite a number of branches re-appeared on GitHub, here's the log of the git pull I just did: [...] As you can see from the update revision of master, I previously pulled in November, so the branches were created in the time since then. I'm very tempted to just delete them again since we agreed that GitHub should only mirror "protected branches" from GitLab (meaning master, release/unstable and stable/*),
I seem to have missed that discussion. Do you have a link to it? I thought the GitHub mirror was an artifact of experiments for moving to GitHub before we started with GitLab. (So obviously I don't know who did that push.) Best, Jean
[Prev in Thread] | Current Thread | [Next in Thread] |