diff options
| author | Holger Levsen <holger@layer-acht.org> | 2014-04-17 10:21:50 +0200 |
|---|---|---|
| committer | Holger Levsen <holger@layer-acht.org> | 2014-04-17 10:21:50 +0200 |
| commit | fe6dc7f84b6fa7430798c4c79dd1cda704110d6c (patch) | |
| tree | 1bcb3a5d76386e57a9f37eb61bc8bba4ca6aa8bd /etc/cron.daily/jenkins | |
| parent | 8e4adaafb66079430898c641f85d87e2dfc478a5 (diff) | |
| download | jenkins.debian.net-fe6dc7f84b6fa7430798c4c79dd1cda704110d6c.tar.xz | |
allow token as URL parameter from (new IP address of) git.debian.org only
Diffstat (limited to 'etc/cron.daily/jenkins')
| -rwxr-xr-x | etc/cron.daily/jenkins | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/etc/cron.daily/jenkins b/etc/cron.daily/jenkins index 8100995e..8dd3a56d 100755 --- a/etc/cron.daily/jenkins +++ b/etc/cron.daily/jenkins @@ -4,6 +4,6 @@ # I couldn't get it to work. so I use REMOTE_ADDR... # see etc/apache2/sites-available/jenkins.debian.net -if [ "$(host git.debian.org)" != "git.debian.org has address 217.196.43.140" ] ; then +if [ "$(host git.debian.org)" != "git.debian.org has address 5.153.231.21" ] ; then echo "IP address of git.debian.org has changed, please update etc/apache2/sites-available/jenkins.debian.net and etc/cron.daily/jenkins" fi |