DynareWiki

Michel's cheat-sheets

GIT

git reset --hard <SHA1 key of last good commit>

git cherry-pick [-x] <SHA1 key of desired commit>

git log --graph

git log <branch 1>..<branch 2>

git push -f <destination repository> <local branch>:<destination branch>

git fetch <remote repository> <remote branch>
git log -p HEAD..FETCH_HEAD
git rebase <remote repository>/<remote branch>

DynareWiki: MichelCheatsheet (last edited 2010-08-26 13:55:30 by MichelJuillard)