Revert "use new mr.developer feature to automatically rewrite origin for pushing"

This reverts commit 514a7dc6d0b55c5948a79579d71f16aae3c6f16a.

It was breaking jenkins because I didn't realize it rewrites the pull url too.