Useful Commands in Git (cont'd)
11. To synchronize a Git repository with the local one
# cd 'repository'
# git push
12. To check the commit log of some repository
# cd 'repository'
# git log
13. To search for some string in the files of some repository
# cd 'repository'
# git grep 'string'
14. Git administrator to add user's key to Git
# cp 'user.pub' gitosis-admin/keydir/
15. Git administrator to grant user's access to some repository
# vi gitosis-admin/gitosis.conf
Add 'user' to the configuration of some repository
