pull before pushing -- necessary e.g. to rebuild versions