build-mongodb: allow pushing target to repo