windows: terminal

configuring github bash in windows terminal app is described at https://neutrondev.com/add-git-bash-windows-terminal/

TODO: another note explaning my linux workflow on windows machines