-Exporting a git repository via
+Exporting a git repository via
The git protocol gives better performance and reliability, but on a
-host with a web server set up,
http exports may be simpler to set up.
+host with a web server set up, exports may be simpler to set up.
All you need to do is place the newly created bare git repository in
a directory that is exported by the web server, and make some
for a slightly more sophisticated setup using WebDAV which also
-allows pushing over
+allows pushing over .)
Pushing changes to a public repository