git

Git: how to push

Seemingly simple thing, but causes so many problems: how to push into _current_ branch, without specific name. https://stackoverflow.com/questions/14031970/git-push-current-branch-shortcut https://stackoverflow.com/questions/948354/default-behavior-of-git-push-without-a-branch-specified So,...