Remove all PII before making repo public

[blackerby]

See https://docs.github.com/en/authentication/keeping-your-account-and-data-secure/removing-sensitive-data-from-a-repository for details on how.