add a .mrconfig that contains all the repositories that sysdevs need to do work:
-rw-r--r-- 7474 .mrconfig
-rw-r--r-- 1276 superproject-post-push.sh