So let $P→X$ be a faithfully flat map of schemes with a fiberwise G-action on $P$ such that $G×P→P×_{X}P$ is an isomorphism. Then P is finite étale over X.
Proof: Being finite étale is fpqc-local, and the second projection $G×P→P$ is finite étale $\square$