diff sync_to_github.py @ 15:d653e1b558ce

rm dead code; reformat
author drewp@bigasterisk.com <drewp@bigasterisk.com>
date Sat, 17 Jul 2021 00:17:56 -0700
parents 2c4d383d464c
children
line wrap: on
line diff