@grossberg my dotfiles get generated from a souce file that lives in a git repo, but that repo is not on github; it contains private data.