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

[Achim Gratz <Stromeko@nexgo.de>]

Bernt Hansen <bernt@norang.ca> writes:
> There's no reason to keep the ORGWEBPAGE directory around in a branch in
> org-mode.git repository if it isn't ever going to be used again.

I agree, but I also see that Bastien hinted at it possibly being made
public again at a later stage.

Just to clarify my position: for me it boils down to the question: is
the orgmode.org web page part of the org-mode project or not?  If
removed from the repository this sends a strong message (intentionally?)
that it is not.  Even then, from a Git point of view filtering makes no
sense unless you deliberately need to remove history: just do a fork
(split into two repositories that will diverge from then on) -- or, as I
had suggested earlier, branch (fork in the same repository).  If the
size of the repository was the driving force behind that idea, do a
shallow rather than a full clone (I just did a fresh full clone that
comes out at 60M, I really don't know how much smaller the filtered
repository would be).


Regards,
Achim.
-- 
+<[Q+ Matrix-12 WAVE#46+305 Neuron microQkb Andromeda XTk Blofeld]>+

SD adaptation for Waldorf microQ V2.22R2:
http://Synth.Stromeko.net/Downloads.html#WaldorfSDada