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