push tags
git grep
and more on grep
two links for git svn
2013.04.29