Update `gradio-space-ci` and pin version

This PR does 2 things:
- Pin the version of `gradio-space-ci` that is installed. Version is a tag revision of https://huggingface.co/spaces/Wauplin/gradio-space-ci repository. Latest version is `0.1.2`. The goal is to avoid breaking this Space if I push changes to the gradio-space-ci one.
- In 0.1.2, I introduced a "recovery mode" that loop through all PRs at startup and check if it is synced correctly. This should avoid having PRs out of sync (e.g. open but without an ephemeral Space or closed but with a pending ephemeral Space). Currently PRs can be out of sync if a webhook payload is sent while the Space is down/restarting/rebuilding.

requirements.txt

@@ -15,4 +15,4 @@ sentencepiece
 tqdm==4.65.0
 transformers==4.36.0
 tokenizers>=0.15.0
-gradio-space-ci@git+https://huggingface.co/spaces/Wauplin/gradio-space-ci # CI !!!
+gradio-space-ci @ git+https://huggingface.co/spaces/Wauplin/gradio-space-ci@0.1.2 # CI !!!