Administration of the isatest facilities
Jump to navigation
Jump to 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.