try to use proper mapbender revision when pushing clover.xml