diff options
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 |