Document removal of /p from default git-url

Change-Id: I5d88dabbc7944f2ad67112a1ead14c11836fcfdb
This commit is contained in:
James E. Blair 2020-09-01 11:13:03 -07:00
parent 3027ce2735
commit 444c8e1285
1 changed files with 1 additions and 1 deletions

View File

@ -32,7 +32,7 @@ servers:
# Gertty will not modify them unless you tell it to, and even then the
# normal git protections against losing work remain in place. [required]
# git-root: ~/git/
# The URL to clone git repos. By default, <url>/p/<project> is used. For a list
# The URL to clone git repos. By default, <url>/<project> is used. For a list
# of valid URLs, see:
# https://www.kernel.org/pub/software/scm/git/docs/git-clone.html#URLS
# git-url: ssh://user@example.org:29418