scripts for maintaining our F-Droid repos