How to add a new PlaceCal developer to production

  1. Add ssh certificate to prod and staging
  2. Put ssh cert somewhere? in Notion
  3. Add user as an admin to the GitHub repository