I am confused by the statements of a couple of the exercises in Section 1.3 of Hatcher. I think they need additional hypotheses that are not reflected in Hatcher's errata.
Exercise 11: Construct finite graphs $X_1$ and $X_2$ having a common finite-sheeted covering space $\tilde X_1= \tilde X_2$, but such that there is no space having both $X_1$ and $X_2$ as covering spaces.
Hatcher does not require that the covering map $p: \tilde X\rightarrow X$ be a surjection in his definition on p. 56. So, it seems that for any pair of spaces $X,Y$ they cover a common space $X\sqcup Y$. So it seems that perhaps adding the hypothesis that the covering map be a surjection is the thing to do.
Exercise 31: Show that the normal covering spaces of $S^1\vee S^1$ are precisely the graphs that are the Cayley graphs of groups with two generators.
It seems like we should require that the covering space be connected as well. Because for instance, we may take the cover $\tilde X$ of $S^1\vee S^1$ by two copies of $S^1\vee S^1$ projecting down. There is then a deck transformation swapping these two copies so it is a normal covering space. However, it is not a Cayley graph because $\tilde X$ is not connected.
As a final question, I am curious to know
What are the advantages of not requiring that the covering map be surjective?
In Chapter 1 of Hatcher, we quickly restrict to path connected covering spaces, where the covering map is surjective. So, I have not seen any examples illustrating why this is useful. Perhaps the reason is more advanced?