Do not create HAE repos if they don't exist

The repos are optional, and we need to know if they're simply missing.
Merge pull request #2008 from vuntz/optional-hae

Do not create HAE repos if they don't exist