https://blog.jupyter.org/posts/2022/securely-pushing-to-github-from-a-jupyterhub/