git status git diff git log git pull git rebase origin/master git config --global user.name "YOUR NAME" git config --global user.email "YOUR EMAIL ADDRESS" git checkout -b mybranch git checkout master git checkout mybranch Configure make statest-all make doc make checkspaces git commit -a git format-patch master git branch -D mybranch git branch git branch -a git checkout origin/kb-mf -b mykb-mf git checkout master