push can get stuck if there was an empty server-side dir and projectroot != reporoot

Create issue
Issue #63 resolved
Augie Fackler repo owner created an issue

No description provided.

Comments (1)

  1. Augie Fackler reporter

    I know this happened to me, but it appears to have been accidentally fixed, or else there was something more subtle preventing the edit. In any case, I've got a testcase now in 6ec5b5fc5b4d that should demonstrate this kind of thing actually does work.

  2. Log in to comment