Clarify workflow when making repos public

[malcolmbarrett]

Also add: link to public repo in private repo and guidance on when to formally archive using the GitHub mechanism