[eclipse-dev] R4_HEAD branch changed to master for 3 repos ... you will

[David M Williams <david_williams@xxxxxxxxxx>]

To prepare for post-Juno builds, I have
fixed one of the remaining issues with our git/4.2-primary migration. 

Bug 378876
- change remaining 3 R4_HEAD repository branches to master 

If you have any of these repositories
checked out, you'll need to read this whole note carefully and take corrective
action. 

git://git.eclipse.org/gitroot/platform/eclipse.platform.git

git://git.eclipse.org/gitroot/platform/eclipse.platform.common.git

git://git.eclipse.org/gitroot/platform/eclipse.platform.releng.git


See the bug for complete details,
https://bugs.eclipse.org/bugs/show_bug.cgi?id=378876

But, in short, I have "reset"
R4_HEAD to "master" and removed R4_HEAD branch (pointer) to avoid
confusion. 
I have also removed "integration"
branch (pointer) since (so far) I do not think we need that for these particular
3 repositories. 

In short: now master==4.3 work, 
and eventually, when needed,  
R4_2_maintenance == 4.2.1, and R3_8_maintenance
== 3.8.1
but, I have not created those branches
yet for these 3 repositories. 
I think they deserve their own bug and
their own discussion as to when to do it and what's the right "branch
point". 

Anyone that had one of these 3 repos
cloned locally, will need to delete/re-clone
or, the more git-correct way, issue
a command such as the following (or, its egit equivalent)
[thank you Paul! ] 

git fetch && git checkout master
&& git reset --hard origin/master

Feel free to ask if questions or if
you have problems and reading the bugs do not answer them or help fix the
problem.  

Thank you ... get ready for Kepler!