Bug 511897

Comment 1 Derek Toolan 2017-02-08 10:09:45 EST

Okay, we can get this kicked off - the process involves Webmaster being assigned Collaborator w/ admin access to this repo [1].  This should allow Webmaster access to the 'Transfer Ownership' option accessible via the 'Settings' tab.

The Webmaster username is eclipsewebmaster.

Once we have that, we can proceed to transfer the repo to this location [2].

Before we do all that though, is it possible to squash the history of the existing gorkem/java-language-server repo into one commit?

[1] https://github.com/gorkem/java-language-server
[2] https://github.com/eclipse/eclipse.jdt.ls

Comment 2 Fred Bricon 2017-02-08 10:20:44 EST

Before performing the actual move, I believe we should first:

- merge existing PRs
- perform a last, non-eclipse.org release
- rename all packages to org.eclipse.*

Comment 3 Gorkem Ercan 2017-02-09 12:21:54 EST

I have added eclipsewebmaster as a collaborator to the repo but I do not think there is a way to give more privileges to collaborators on private repositories.

Comment 4 Derek Toolan 2017-02-09 14:22:13 EST

(In reply to Gorkem Ercan from comment #3)
> I have added eclipsewebmaster as a collaborator to the repo but I do not
> think there is a way to give more privileges to collaborators on private
> repositories.

That is possible.  Unfortunately Collaborator access does not give the appropriate access to the Settings tab so instead lets just choose the "Transfer ownership" option, under Settings > Options.

Choose eclipsewebmaster as the "New owner’s GitHub username or organization name".

Comment 5 Gorkem Ercan 2017-02-09 14:58:13 EST

@derek I have done the transfer.. It is all yours

Comment 6 Derek Toolan 2017-02-09 15:14:48 EST

(In reply to Gorkem Ercan from comment #5)
> @derek I have done the transfer.. It is all yours

Alright, I think we are good to go.  The repo has been successfully transferred to the following location:

https://github.com/eclipse/eclipse.jdt.ls

If there is anything else that needs to be done, please reopen.

Comment 7 Gorkem Ercan 2017-02-09 15:18:46 EST

Can I get admin rights to the repo to manage settings?

Comment 8 Derek Toolan 2017-02-10 09:35:32 EST

(In reply to Gorkem Ercan from comment #7)
> Can I get admin rights to the repo to manage settings?

I have added temporary admin privileges to your account.

Comment 9 Derek Toolan 2017-02-15 15:11:01 EST

(In reply to Derek Toolan from comment #8)
> (In reply to Gorkem Ercan from comment #7)
> 
> I have added temporary admin privileges to your account.

@Gorkem, please confirm when are done with the configuration so that I may revert the temporary admin access.

Comment 10 Derek Toolan 2017-02-21 09:50:54 EST

As the repo is now transferred - closing.