Lemma 8.5.3. Let $\mathcal{C}$ be a site. Let $p : \mathcal{S} \to \mathcal{C}$ be a stack. Let $p' : \mathcal{S}' \to \mathcal{C}$ be the category fibred in groupoids associated to $\mathcal{S}$ constructed in Categories, Lemma 4.35.3. Then $p' : \mathcal{S}' \to \mathcal{C}$ is a stack in groupoids.

Proof. Recall that the morphisms in $\mathcal{S}'$ are exactly the strongly cartesian morphisms of $\mathcal{S}$, and that any isomorphism of $\mathcal{S}$ is such a morphism. Hence descent data in $\mathcal{S}'$ are exactly the same thing as descent data in $\mathcal{S}$. Now apply Lemma 8.4.2. Some details omitted. $\square$

In your comment you can use Markdown and LaTeX style mathematics (enclose it like $\pi$). A preview option is available if you wish to see how it works out (just click on the eye in the toolbar).