Tell the GitHub bot to do things. Repo is dev only