Actually the git repository and local files are exactly the same.
But the other website is far away from 5 commits, so I haven\'t pull in a while and I don\'t want to do
git pull
is essentially a shorthand for git fetch
(download remote commits into remote-tracking branches) and then git merge
(merge your HEAD
, i.e. the current commit, with the ones you just downloaded).
You can get the flexibility you expect by decoupling both steps:
First, run git fetch
, then inspect the history you just downloaded (if you work on the master
branch, git fetch
should have downloaded remote commits in branch origin/master
which you can inspect with git log origin/master
).
Then, merge the commit you want using git merge
. Note: git merge
will get all the changes in
and its ancestry, so this works if
is the oldest non-merged commit. If you do not have any unpushed commits, this will "fast-forward", i.e. it won't create a new commit but just advance HEAD
to this commit. If you're not happy with git merge
, you have other options like git rebase
, git cherry-pick
, ...