Add a script which checks whether various package tools settings are pointing to the devpi server.