Some Eclipse Foundation services are deprecated, or will be soon. Please ensure you've read this important communication.

Bug 571111

Summary:	Wrong Branch master
Product:	Community	Reporter:	Ralph Steiner <steiner.ralph>
Component:	Git	Assignee:	Eclipse Webmaster <webmaster>
Status:	RESOLVED FIXED	QA Contact:
Severity:	normal
Priority:	P3	CC:	Arthur.vanDorp
Version:	unspecified
Target Milestone:	---
Hardware:	PC
OS:	Windows 10
Whiteboard:

Description Ralph Steiner

2021-02-11 02:44:03 EST

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 2021-02-10 18:22:23 I pushed the branch 'master'. This branch is forked from our release branch 'releases/11'.
We do not use the master branch therefore we like to delete it again.

See also https://bugs.eclipse.org/bugs/show_bug.cgi?id=561694 - I ask therefore again:

We like to have a rule which forbids to push to the branch 'master' on org.eclipse.scout.rt.

Thank you.

Comment 1 Arthur van Dorp

2021-02-11 02:48:28 EST

+1 for deletion
+1 for a rule/lock

Comment 2 Eclipse Webmaster

2021-02-11 11:27:58 EST

I"ve removed the master branch, and I've added a rule that should(might?) stop the creation of this branch in future, but I can't guarantee it'll actually do that, or that it won't have some unintended consequences.

-M.

Comment 3 Ralph Steiner

2021-02-11 11:30:59 EST

Thank you :-)