[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Orgmode] Re: IMPORTANT: Migration of org-mode.git to the new server on
[Orgmode] Re: IMPORTANT: Migration of org-mode.git to the new server on sunday 5pm-7pm CET (UTC+1)
Sat, 08 Jan 2011 10:02:19 +0100
Gnus/5.13 (Gnus v5.13) Emacs/24.0.50 (gnu/linux)
Bernt Hansen <address@hidden> writes:
> 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.
I think you're right. Our goal was to remove ORGWEBPAGES/ into a new
repo with a proper history of its own. As Jason did that with success,
I asked him to do the filtering for org-mode.git too -- which might be
too much (my bad).
Jason, Carsten, what is your take on this?
> 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
Which is more in the spirit of what git allows: keep the revision
history as *truthful* as possible.
> and we can just change the URL to point at the new server and we're
I'm for the direction you suggest -- I let Jason and Carsten tell me
what they think before deciding.
Thanks for voicing this in time!
[Orgmode] Re: IMPORTANT: Migration of org-mode.git to the new server on sunday 5pm-7pm CET (UTC+1), Achim Gratz, 2011/01/08
Re: [Orgmode] IMPORTANT: Migration of org-mode.git to the new server on sunday 5pm-7pm CET (UTC+1), Bastien, 2011/01/09