Community
Participate
Working Groups
Could you please delete the following branch on git.eclipse.org for us? We don't have the necessary rights. Repository : org.eclipse.scout.rt Branch : master The branch "master" was pushed accidentally. On 01.04.2020 2:55 PM (first of April - no joke) I pushed the branch 'master'. This branch is forked from our release branch 'releases/10' and contains only one extra commit. We do not use the master branch therefore we like to delete it again. If it is possible, we like to add a rule which forbids to push to the branch 'master'. At the time this branch was created, many Gerrit changes changed status. It seems, that all these Gerrit changes were abandoned, because the target branch or the created Gerrit Change was wrong. For example these Gerrit changes: https://git.eclipse.org/r/#/c/137022/ https://git.eclipse.org/r/#/c/140057/ Booth were abandoned. It would be nice if all these misleading stage changes could be reverted. The changes in question may be found in the Gerrit database using my username and the date '01.04.2020'. I did not edited and Gerrit changes on this date intentionally. See also https://bugs.eclipse.org/bugs/show_bug.cgi?id=560376 with another branch to delete. Thank you.
+1 Please delete the branch.
Done. -M.
