Comment by tibbe

Any more details on the setup? How does it kick of based a push? Could you kick it off on a successful GitHub run?