-
Georges Racinet authored
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.
36329a64dac1