Github plugins for Pushpop