Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision Next revision | Previous revision | ||
|
git:commit-into-master [2009/07/21 14:31] andrei more options for dealing with local changes |
git:commit-into-master [2010/01/15 09:22] (current) andrei added link to the commit guidelines and the repo layout |
||
|---|---|---|---|
| Line 1: | Line 1: | ||
| ===== GIT push into master howto ===== | ===== GIT push into master howto ===== | ||
| - | This howto assumes you did some local changes into your local master branch, you have commited them and now you want to publish them in the public repository. It assumes that you start in your local master branch (//git checkout master//). | + | This howto assumes you did some local changes into your local master branch, you have commited them and now you want to publish them in the public repository. It assumes that you start in your local master branch (//git checkout master// |
| If you want to push some changes you did in some other local branch, just replace // | If you want to push some changes you did in some other local branch, just replace // | ||
| in //git push origin master: | in //git push origin master: | ||
| + | * first see what will be pushed | ||
| + | < | ||
| + | $ git fetch origin; git log origin/ | ||
| + | # alternatively you could try git whatchanged origin/ | ||
| + | # instead of git log and/or add --graph --color to git log / git whatchanged | ||
| + | </ | ||
| - | * first try a push directly (1) | + | * try a push directly (1) |
| < | < | ||
| $ git push origin master: | $ git push origin master: | ||
