add git push with ctags