git: c9b990e272 - main - Committers Guide: fix some URLs and mention our GitHub mirror.

[Rene Ladan]

The branch main has been updated by rene:

URL: https://cgit.FreeBSD.org/doc/commit/?id=c9b990e272db88c3fd3ac3126874df1b6853b943

commit c9b990e272db88c3fd3ac3126874df1b6853b943
Author:     Rene Ladan <rene at FreeBSD.org>
AuthorDate: 2021-04-06 19:42:02 +0000
Commit:     Rene Ladan <rene at FreeBSD.org>
CommitDate: 2021-04-06 19:43:36 +0000

    Committers Guide: fix some URLs and mention our GitHub mirror.
    
    Submitted by:   lwhsu
---
 documentation/content/en/articles/committers-guide/_index.adoc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/documentation/content/en/articles/committers-guide/_index.adoc b/documentation/content/en/articles/committers-guide/_index.adoc
index 36f3f52baa..8ddd8a7ab4 100644
--- a/documentation/content/en/articles/committers-guide/_index.adoc
+++ b/documentation/content/en/articles/committers-guide/_index.adoc
@@ -466,9 +466,10 @@ Again, the git-bisect manual (linked above) is a good resource for when things g
 The ports tree operates the same way.
 The branch names are different and the repositories are in different locations.
 
-The cgit repository web interface for use with web browsers is at https://cgit.freebsd.org/ports.git .
-The production git repository is at https://git.freebsd.org/ports.git and at ssh://anongit@git.FreeBSD.org/ports.git (or anongit at git.FreeBSD.org:ports.git).
+The cgit repository web interface for use with web browsers is at https://cgit.FreeBSD.org/ports.git .
+The production git repository is at https://git.FreeBSD.org/ports.git and at ssh://anongit@git.FreeBSD.org/ports.git (or anongit at git.FreeBSD.org:ports.git).
 
+There is also a mirror on GitHub, see link:{handbook}mirrors/#mirrors[Exteral mirrors] for an overview.
 The 'current' branch is 'main' .
 The quarterly branches are named 'yyyyQn' for year 'yyyy' and quarter 'n'.