Code

git-svn: exclude already merged tips using one rev-list call