Skip to content

Instantly share code, notes, and snippets.

@jeffallen
Created December 25, 2025 13:41
Show Gist options
  • Select an option

  • Save jeffallen/47c60eaafd22b1852691f148aab7ceb6 to your computer and use it in GitHub Desktop.

Select an option

Save jeffallen/47c60eaafd22b1852691f148aab7ceb6 to your computer and use it in GitHub Desktop.

Here are the instructions:


Git Setup for exe.dev VMs

1. Create SSH Key

ssh-keygen -t ed25519 -C "shelley@exe.dev" -f ~/.ssh/id_ed25519 -N ""
cat ~/.ssh/id_ed25519.pub

Show the public key to the user. They will add it as a deploy key to the GitHub repo.

2. Configure Git Identity

Always set user info before committing:

git config user.name "Jeff Allen (Shelley)"
git config user.email "jra@nella.org"

3. Committing

  • Use a single, clean initial commit when possible
  • Write clear commit messages
  • Don't check in binaries, database files, or build artifacts - use .gitignore

4. First Push to GitHub

Accept the host key automatically:

GIT_SSH_COMMAND="ssh -o StrictHostKeyChecking=accept-new" git push -u origin main

5. If You Need to Fix Author Info

If you commit before setting user info:

git config user.name "Jeff Allen (Shelley)"
git config user.email "jra@nella.org"
git commit --amend --reset-author --no-edit
git push --force origin main
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment