Scripts to run administrative tasks on Github repos