# Specific version control conveniences

## GitHub-specific

Synchronize a GitHub repo:

1. First, make an SSH key with "gh auth login"
2. Then, push whatever needs updating from the folder
3. git remote set-url origin git@github.com:[username]/[repository].git