Skip to content

Maintenance guide

Jump to bottom
Jonathan Hollocombe edited this page Jul 27, 2020 · 3 revisions

Updating the documentation

If the documentation has been updated in the repository you can update the documentation on the server by simply pulling the new code:

cd data-registry
git pull

The documentation should now available on the public site. There may be a delay to the new documentation being visible due to caching but after 5 minutes the new pages should now display.

Clone this wiki locally