pbsbot

The Collective bot account for @pbsds (at the moment just used by the human on untrusted machines)