[Oberon] Re (2): Official ETH Git repo

[peter at easthope.ca]

From:	Michael Schierl <schierlm at gmx.de>
Date:	Wed, 14 Dec 2022 21:46:08 +0100
> I created an account on Monday (which seemed to work fine), but got an
> email today that my account will be deleted next week as my email
> address is not affiliated to the ETHZ.

In https://gitlab.inf.ethz.ch/felixf/oberon/-/blob/main/README.md
Felix Friedrich remarks "Please inform me, if you need 
developer-access to the repository, if you observe missing files, or 
if you, in general, want to help setting this up."

Regards,                          ... P.L.




mobile: +1 778 951 5147
  VoIP: +1 604 670 0140
https://en.wikibooks.org/wiki/User:PeterEasthope