How do you git push back to repo after “editing”?
You can’t. This would require secret tokens and since Binder is a free and public service, we strongly recommend that you do not provide any such credentials in a running Binder instance.
However, there is a “Download” button in the menu bar (next to “Copy Binder link”) that allows you to download your notebook, edits and all, so you can upload this back to GitHub
2 Likes