Testing a push with subrepos
On the server side, subrepos should be essentially ignored, at least for a push. Since we're in the process of adding server-side protections to avoid cloning all subrepos targets and performing dangerous commits, it felt necessary to check that basic operation is still working.