Arithmetic hyperbolicity and a stacky Chevalley-Weil theorem

We prove an analogue for algebraic stacks of Hermite-Minkowski's finiteness theorem from algebraic number theory, and establish a Chevalley-Weil type theorem for integral points on stacks. As an application of our results, we prove analogues of the Shafarevich conjecture for some surfaces of general type.