-
Notifications
You must be signed in to change notification settings - Fork 8
Description
a script remote_git_pull.sh has been introduced by #55 , it aims to update the state of the local git copy on the remote server from where we deploy the website. This PR also reworks the use and names of secrets in the deployment workflow, which needed some rework for sure!
However sometimes this script fails, due to permissions or owning problems on the remote server, and is therefore really server-state dependant.
The change is recent I expect that this script will fail again in the future but I hope that less and less as the change grows old
A possible patch would be to overwrite the return code of the command and instead just emit a GitHub Action warning
something like:
ssh ${{ secrets.CI_USER_NAME }}@iscsc.fr /usr/bin/bash ${{ secrets.REPO_PATH_ON_REMOTE }}/scripts/remote_git_pull.sh ${{ secrets.REPO_PATH_ON_REMOTE }} || echo "::warning file=remote_git_pull.sh ::Remote git pull failed, you should investigate manually"
But I don't want to patch it right now, this is the kind of bug due to permission and environment, I prefer to get a bit more of information and experience before patching it