custom tools to make git easier to work with. currently include separate local workspaces for one repo (syncing refs) and merge-by-one script, which merges specified target by one commit (usable to work with git-svn branches)