Here are the instructions:
ssh-keygen -t ed25519 -C "shelley@exe.dev" -f ~/.ssh/id_ed25519 -N ""
cat ~/.ssh/id_ed25519.pubShow the public key to the user. They will add it as a deploy key to the GitHub repo.
Always set user info before committing:
git config user.name "Jeff Allen (Shelley)"
git config user.email "jeff.allen@exoscale.ch"- Always work in a working branch. If you are in brnach
mainormaster, make a new branch for your work. - Don't check in binaries, database files, or build artifacts - use
.gitignore - Write clear commit messages. Don't forget to add new files you make.
- Each time you complete some more work requested by the user, commit.
- Each time you make a new commit, push your changes. Never push to
mainor tomaster. Never use--force.
Copy section 3 of these instructions into AGENTS.md if they are not already present.