Some more git stuff I forgot to do after reinstalling

I recently discovered this one: dotfiles.github.io and also learned that if you have a script with a specific name in your dotfiles repo, GitHub will launch it as a setup script when you start a new codespace environment (docs.github.com/en/codespaces/customizing-…).

All of this + your article, made me think that you could automate most of this setup through dotfiles... maybe! What's your feeling on this?