git-synchronizer: make sure that the push URL is kept up-to-date

If the Jenkins configuration changes, it needs to be picked up.

Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>