various github related scripts