Extract and sync data from Git repos into SQL

See also git-history. https://news.ycombinator.com/item?id=29479258 https://simonwillison.net/2021/Dec/7/git-history/ https://datasette.io/tools/git-history