mybinder.org-deploy
mybinder.org-deploy copied to clipboard
Document where the GitHub tokens come from
They're organizational tokens, and belong to the JupyterHub org.
The prod one comes from https://github.com/organizations/jupyterhub/settings/applications/610954.
The staging one comes from https://github.com/organizations/jupyterhub/settings/applications/610855.
We should document this someplace!
Maybe a good place to add this to is https://mybinder-sre.readthedocs.io/en/latest/production_environment.html#configuration-values