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 '' 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