Add secrets, PIERRE_RSA_KEY and PIERRE_RSA_KNOWN_HOSTS to your GitHub Actions secrets. Move these workflow files into .github/workflows to use them. This currently only syncs 1 user, could be updated to support multiple users. This is meant to help test Pierre as these scripts will continue to force push to Pierre.
PIERRE_RSA_KEY is your Pierre private key, PIERRE_RSA_KNOWN_HOSTS
can be pulled using the following command: ssh-keyscan git.pierre.co, which looks something like
git.pierre.co ssh-rsa AAAA...