git-synchronizer: make sure that the push URL is kept up-to-date
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 <53fb8db7833fca1e1746dd8592f61048d350f64c@gmx.de>

scijava/scijava-common