Let $M$ be a smooth manifold and let $G$ be a compact Lie group acting smoothly and freely over $M$. Let $\pi:M\rightarrow M/G$ be the canonical projection, and endow $M/G$ with the unique differentiable structure such that it is a smooth manifold and $\pi$ is a surjective submersion.

I would like to prove that, in the previous situation, the map $\pi$ satisfies the *path lifting property*, in the sense that for each smooth path $\gamma:I\rightarrow M/G$ defined in a compact interval $I$, there exists a smooth lift $\tilde\gamma:I\rightarrow M$ with $\pi\circ\tilde\gamma=\gamma$.

This is an exercise from the book *Mathematical Gauge Theory* from Mark J. D. Hamilton. It appears in a chapter on group actions, preceding those about fiber bundles, connections, curvature, etc. So apparently this can be proved attending only to the basic topological properties of the objects at hand.

In this SE post the same question is asked; however, the answer given is not complete. At first, this is what I thought the answer might look like; since surjective submersions admit local sections, we can first take an open cover of the trace of $\gamma$ with open sets for which we can find sections of $\pi$, then we take a finite subcover due to the compactness of the trace, and then we patch toghether the images of the pieces of the curve via the aforamentiones sections, using the fact that, by construction, $G$ acts transitively on the fibers of $\pi$. However, this approach is not quite perfect, for there might be problems with differentiability at the points where we patch the pieces toghether. Unfortunately, it doesn't look like this problem can be remedied.

I am out of ideas, so I would really appreciate any kind of help at this point.