Maybe they could let some Github bots keep doing the development. /s