FANDOM


http://reinh.com/blog/2008/04/18/git-push-just-the-tip.html

push from local master branch to remote master branch Edit

git push origin master

push from a local branch to a remote branch Edit

git push origin <local branch name>:<remote branch name>

Ad blocker interference detected!


Wikia is a free-to-use site that makes money from advertising. We have a modified experience for viewers using ad blockers

Wikia is not accessible if you’ve made further modifications. Remove the custom ad blocker rule(s) and the page will load as expected.