We should provide a script that pulls dotfiles updates:
- Create a scratch
GNUPGHOME with the right configuration
- Run
git -C ~/.dotfiles fetch origin master
git -C ~/.dotfiles verify-commit origin/master, abort if improperly signed.
- Merge the remote, abort and cleanup if there is a conflict
- Update submodules to the commits specified by the base repo.