I suggest we drop that: HAE is optional, so if it's not there, we should still work fine (and not need to create a dummy empty repo).