Github reset

[Derek Atkins]

Geert Janssens <janssens-geert at telenet.be> writes:

>>> 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
>>
> Announcing via news on the webpage is always nicer. It avoids
> confusion for people that intend to interact with the repos right at
> the same time you are doing the switch. OTOH, the switch will probably
> not take long, so the window for this is pretty small.
>
> An announcement after the switch has been completed is probably more
> useful to spend time on.

I think we should pick a date and pre-announce that date.  Then we
should make another announcement once we cut over.

> Geert

-derek

-- 
       Derek Atkins, SB '93 MIT EE, SM '95 MIT Media Laboratory
       Member, MIT Student Information Processing Board  (SIPB)
       URL: http://web.mit.edu/warlord/    PP-ASEL-IA     N1NWH
       warlord at MIT.EDU                        PGP key available