ref: d337d534e4043b32205bb36008ea2e81b3edf71f
parent: eb55373edba39be0bac6caa76b373576f2cc6e48
author: Ori Bernstein <ori@eigenstate.org>
date: Sun Sep 6 16:05:27 EDT 2020
git(1): document git/serve
--- a/git.1.man
+++ b/git.1.man
@@ -1,7 +1,8 @@
.TH GIT 1
.SH NAME
git, git/conf, git/query, git/walk, git/clone, git/branch,
-git/commit, git/diff, git/init, git/log, git/merge, git/push, git/pull, git/rm
+git/commit, git/diff, git/init, git/log, git/merge, git/push,
+git/pull, git/rm, git/serve
\- Manage git repositories.
.SH SYNOPSIS
@@ -143,6 +144,15 @@
.I branch
]
.PP
+.B git/serve
+[
+.B -w
+]
+[
+.B -r
+.I path
+]
+.PP
.B git/query
[
.B -pc
@@ -228,6 +238,7 @@
.I .git
stripped off if present.
+·PP
.B Git/push
is used to push the current changes to a remote repository.
When no arguments are provided, the remote repository is taken from
@@ -246,10 +257,12 @@
.I -r
option, the branch is deleted from origin, instead of updated.
+.PP
.B Git/revert
restores the named files from HEAD. When passed the -c flag, restores files from
the named commit.
+.PP
.B Git/pull
behaves in a similar manner to git/push, however it gets changes from
the upstream repository.
@@ -262,6 +275,22 @@
option, the changes are pulled from
.I upstream
instead of the configured origin.
+
+.PP
+.B Git/serve
+serves repositories using the
+.I git://
+protocol over stdin.
+By default, it serves them read-only.
+The
+.I -w
+flag, it allows pushing into repositories.
+The
+.I -r
+.B path
+flag serves repositories relative to
+.BR path .
+
.PP