Fix deployment of the doc
Fix deployment of the doc

Now clone GitHub Pages repository before trying to push.

theofidry/Incipio,in6pio/Incipio,in6pio/Incipio,in6pio/Incipio,theofidry/Incipio,in6pio/Incipio,theofidry/Incipio,theofidry/Incipio