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

Bug 530662

Summary: org.eclipse.4diac.forte.git - MonotonicClock wrong branch location
Product: Community Reporter: Martin Melik-Merkumians <melik-merkumians>
Component: GitAssignee: Eclipse Webmaster <webmaster>
Status: RESOLVED FIXED QA Contact:
Severity: normal    
Priority: P3    
Version: unspecified   
Target Milestone: ---   
Hardware: PC   
OS: Windows 10   
Whiteboard:

Description Martin Melik-Merkumians CLA 2018-02-02 09:22:22 EST
Hi!

I messed up and unintentionally pushed my new branch/commit (	8c4986258ae8e2f22d65c55fd9398e314b4532b7) on the wrong parent branch (master).

is it possible to delete the branch, so I can push my rebased local branch again?

Thanks in advance and best regards,
Martin
Comment 1 Eclipse Webmaster CLA 2018-02-02 11:20:55 EST
I've removed the branch.

-M.