blob: 8100995e49919c2373eb5a8cd0574181bbdfa410 (
plain)
1
2
3
4
5
6
7
8
9
|
#!/bin/sh
# maybe I'm too stupid to use apaches REMOTE_HOST directive correctly
# 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
echo "IP address of git.debian.org has changed, please update etc/apache2/sites-available/jenkins.debian.net and etc/cron.daily/jenkins"
fi
|