search

coq / coq.github.io

Source files of the coq.inria.fr website
https://coq.inria.fr/
Other
15 stars 37 forks source link

Document site deployment setup / server configuration / access. #110

Closed Zimmi48 closed 11 months ago

Zimmi48 commented 5 years ago

I'd like this repository to contain a document with all the information needed for a developer to administrate the repository, including how to get ssh access to the new servers.

maximedenes commented 5 years ago

Yep, I plan to do it once the thing stabilizes a bit. And even before that, we can define a team of sysadmins to which I'll grant ssh access (now that we can do it :) ).

Zimmi48 commented 11 months ago

No longer relevant.