Github reset

[John Ralls]

On Jan 31, 2013, at 7:39 AM, Derek Atkins <warlord at MIT.EDU> wrote:

> Geert Janssens <janssens-geert at telenet.be> writes:
> 
>> I think everything is in place to switch the master git repositories
>> to code.gnucash.org and proceed with the github reset. The repos are
>> configured at code.gnucash.org, the trigger to push all updates to a
>> slave repo (github) are in place.
>> 
>> The only thing left, is to actually do it. From what I can see, this
>> requires some coordination between John and Derek as they manage the
>> two servers involved in the switch.
>> 
>> Here's what has to happen IMO:
>> - Disable the push to github on John's server
>> - Rename the current github repositories
>> - Create new, empty repositories on github
>> - Set the origin parameters in the gitolite repos to point at the new
>> github repos
>> - manually push once (git push --all in each gitolite repo)
>> - update our git wiki page to explain the old repos will be available
>> for a while to help migrating
>> - (optionally) John's server could be configured to push to the
>> renamed, old repos for as long as we want to keep them alive
>> 
>> Did I miss anything ? Does any step require more details ?
>> 
>> If not, I'll leave it up to John and Derek to pick a date and time to
>> do the work.
> 
> I'll note that if John changes his server origin to the renamed github
> repos then we don't need to disable the push to John's server.  But I
> agree that that list looks correct.

Right.

Should we pick a date/time and announce it via "news" (on the webpage), or was the announcement last week enough warning?

Regards,
John Ralls