Administration of the isatest facilities

From Isabelle Community Wiki
Jump to: navigation, search

Main responsibles

Makarius and Gerwin are the main responsibles for isatest.

Maintenance

Idea: Everyone having commit access to the Isabelle master repository (POSIX group isabelle at nfsbroy) is also a isatest subscriber.

When one grants write access to some new member, remember to add that person to the email list (cf. file-isa:tip/Admin/isatest/isatest-settings)

If someone wants seriously take over maintenance, a good starting point is to version the isatest files in

nfsbroy:/home/isabelle-repository/repos/config-tum

along with associated documentation.