Commit 4639d50089ac22478075efda37c09e4ecaf0db88

Stefan Sperling 2018-08-01T20:39:27

continue the git-repository(5) man page; still incomplete