Hi Achim,
Achim Gratz writes:
>> On the technical side: does anyone know what incantations needs to
>> be done for this? I use git filter-branch (and its --tree-filter
>> option) from time to time but I'm definitely not an expert. What
>> we want at the end is:
>
> Rewriting the history so tha
Bastien writes:
> The advantage is (1) to separate Org's core logs (the one that are
> further merged into Emacs) from the org-contrib.git logs, and (2) to
> open org-contrib.git more widely, i.e., make it safe for anyone to
> push commits there with no fear of doing something wrong in Org's
> main
