Add --mirror when pushing migrated UserCode