log sync_to_github.py @ 24:03803832a087 default tip

age author description
Fri, 16 Jul 2021 00:19:01 -0700 drewp move config stuff into Project
Fri, 16 Jul 2021 00:18:34 -0700 drewp fix silly case
Fri, 16 Jul 2021 00:05:25 -0700 drewp wip sync_to_github (from hg)