A bunch of tools for maintaining the TeXShop repository at https://github.com/TeXShop/TeXShop
This script scans the TeXShop website for changes, in particular, for new source code releases. When a new release is detected, it is downloaded. This script is intended for use in a cron job.
With the import-zips.py script, one can import a bunch of ZIP files containing TeXShop releases into a git repository.