[Orgmode] Re: IMPORTANT: Migration of org-mode.git to the new server on sunday 5pm-7pm CET (UTC+1)

[Bastien]

Jason Dunsmore <address@hidden> writes:

> I agree with Carsten and Bernt - keep the org-mode repo's history
> intact, remove ORGWEBPAGE in a commit, and split off ORGWEBPAGE into its
> own repo.

I agree with this plan as well.  

Thanks Bernt for pointing at the right direction!

FYI: the migration is supposed to happen in the next few hours.  Also,
repo.or.cz seems down right now.

-- 
 Bastien