git

Email a pull request which points to your git server

1repo=ssh://soft.dmz.rs:2222/mkdots/
2theirHead='HEAD^^^^'
3head=master
4git request-pull "${theirHead}" "${repo}" "${head}"

You can note where your branch diverged from theirs with a commit hash, or a relative position, like HEAD^^ (e.g. 'two commits before your latest').

Choose which parts to commit with git

1git commit -p

Use P to see big changes which cannot fit on the screen.

Clean up a bloated git repo

1git fsck --full
2git gc --prune=now --aggressive
3git repack