[Oberon] Official ETH Git repo

[Michael Schierl]

Hello,


Am 11.12.2022 um 14:18 schrieb Liam Proven:
> https://gitlab.inf.ethz.ch/felixf/oberon

Are we supposed to create accounts there to interact with the (imported)
issues?

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.


Regards,


Michael