[Oberon] all in one git tree

[Tomas Kral]

On Thu, 31 Dec 2020 12:58:22 +0100
Liam Proven <lproven at gmail.com> wrote:

> It is *really important* to keep stuff like this correct. Blurring
> these messages is how proprietary software companies attack open
> source.

Thanks for putting this right.
As most people (incl. me) would probably see Git = GitHub, which is not.

> Git does not need a web repository and a Git project is > perfectly
> and
> completely functional if run peer-to-peer from one user's Git

Can we host a git server for this purpose, e.g. at ETH?

-- 
Tomas Kral <thomas.kral at email.cz>