adjust comment to match reality

Vladimir Kotal · Vladimir Kotal · commit 1289717938c3 · 2020-10-27T16:09:48.000+01:00
diff --git a/dev/docker.sh b/dev/docker.sh
@@ -7,7 +7,7 @@
 #  - DOCKER_USERNAME
 #  - DOCKER_PASSWORD
 #
-# These are set via https://travis-ci.com/OpenGrok/docker/settings
+# These are set via https://github.com/oracle/opengrok/settings/secrets
 #
 
 set -e

Original file line number	Diff line number	Diff line change
`@@ -7,7 +7,7 @@`
`7`	`7`	`# - DOCKER_USERNAME`
`8`	`8`	`# - DOCKER_PASSWORD`
`9`	`9`	`#`
`10`		`-# These are set via https://travis-ci.com/OpenGrok/docker/settings`
	`10`	`+# These are set via https://github.com/oracle/opengrok/settings/secrets`
`11`	`11`	`#`
`12`	`12`
`13`	`13`	`set -e`