Improve git syncing

Signed-off-by: Bao Haojun <baohaojun@gmail.com>
Fix grep-gtags

Signed-off-by: Bao Haojun <baohaojun@gmail.com>
Fix git-push-mac

Signed-off-by: Bao Haojun <baohaojun@gmail.com>