# HG changeset patch
# User Franz Glasner <hg@dom66.de>
# Date 1509050708 -7200
# Node ID c0e2eb5613fe588b17f1998e6f233ffb0ba6e50f
# Parent  f5f04faa9acfc62808b5f525411527e3b837d482
Comment on the 3 repositories handled repositories

diff -r f5f04faa9acf -r c0e2eb5613fe bin/check-ports
--- a/bin/check-ports	Thu Oct 26 09:28:53 2017 +0200
+++ b/bin/check-ports	Thu Oct 26 22:45:08 2017 +0200
@@ -1,7 +1,18 @@
 #!/bin/sh
 
+#
+# Local repository with
+# non-public packages and/or ports with changed OPTIONS (i.e. not using the
+# defaults)
+#
 : ${LOCAL_REPO:=LocalRepo}
+#
+# The official FreeBSD binary repository
+#
 : ${FREEBSD_REPO:=FreeBSD}
+#
+# Directly installed from ports
+#
 : ${PORTS_DIRECT_INSTALLED_REPO:=unknown-repository}
 
 get_remote_repo_versions() {