Open markdoerr opened 1 year ago
Dear EMMO community,
the amount of branches in this repo grew to a large number and for a newcomer it is very hard to oversee, which are still actively developed and are important and which "died". Are there plans to clean-up the branch structure ?
Dear EMMO community,
the amount of branches in this repo grew to a large number and for a newcomer it is very hard to oversee, which are still actively developed and are important and which "died". Are there plans to clean-up the branch structure ?