Hmmm, I'm worried that this will confused two things that are not quite the same:

1. You don't have a repo at all, e.g. because you haven't pushed anything
2. You're in this new mode where we use the Null repo implementation

Quite different cases, right?