I’m heavily experimenting with git using github.com. Just in case you’ll ever receive the following error message:
failed to push some refs
Don’t panic as I did! Just need to make a pull request first because there might be changes that we need to pull in. Afterwards it is easy possible to push your changes to github.com. Have fun!
