fabianthetumblr greatings earthlings

Github push?

I just learned the difference between git push and git push origin master:
- git push tries to push all repos
- git push origin master pushes only the master branch

Now some might say. Duh?! You didn’t know?
No. I didn’t.