Just to mention that Github has changed things a bit and the default branch is now called main not master
(see https://stackoverflow.com/questions/24114676/git-error-failed-to-push-some-refs-to-remote)
So the last command should read
git push -u origin main
Right now deploying on Binder doesn’t seem to work, but this is another topic.
(Lesson 2: Binder deployment not working with voila)