Short bash script to make a bare git repository on your own server