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

[Bernt Hansen]

Bastien <address@hidden> writes:

> Dear all,
>
> Jason will migrate org-mode.git to the new server next sunday, 5pm-7pm
> CET (UTC+1).  Pulling will not be possible during that time.
>
> I will send instructions on how to clone the new repo when the migration
> is done.
>
> It will be important to clone again after the migration as this repo
> comes with a major change: there is no ORGWEBPAGES/ directory anymore.
> We have moved ORGWEBPAGES/ in a separate repo, which might get public
> later.
>
> http://repo.or.cz/w/org-mode.git will still exist as a mirror, we will
> install this next week.
>
> Thanks!

Hi Bastien,

Is it really necessary to rebuild the org-mode git repository (with
filter-branch) to remove the ORGWEBPAGES/ content.  Anyone with a clone
and local branches of the existing repository will need to move all of
these to the new repository.

Would creating a commit to remove the ORGWEBPAGES directory in the
existing repository not work just as well?  This will keep all of the
existing SHA1s for historical commits intact.

If you remove the ORGWEBPAGES directory with just a commit in the
org-mode repository then the SHA1's of previous commits will not change
and we can just change the URL to point at the new server and we're
done.

Regards,
Bernt