Make the repository public (if applicable)

If applicable, make the GitHub repository ready for public release.