Commit 03301f46d110a7f90497e9d6730c1ffae61f9620

Stefan Sperling 2019-03-26T12:52:21

various tweaks and additions to git-repository(5) man page