+ [2019-03-10T16:21:52Z] nedbat HoloIRCUser: i don't know how the configuration is done, but you can certainly use jenkins to run the tests on a pull request.
+ [2019-03-10T21:52:59Z] horus125 Hello can I ask newbie questions here?
+ [2019-03-10T23:02:15Z] nedbat horus125: yes
+ [2019-03-10T23:02:20Z] nedbat horus125: (though answers may take some time....)
+ [2019-03-10T23:03:08Z] horus125 nedbat: I already found the information I needed but thanks

message no. 170387

Posted by HoloIRCUser in #github at 2019-03-10T13:31:44Z

Is it possible to trigger private Jenkins builds from github before allowing pull request merging
+ [2019-03-11T05:46:45Z] Boobie I can't even see when someone is responding to me on an issue I created. GitHub literally has no way to even see the response unless you Star every single issue. Cause you can't even see a response to a closed issue. And you can't even see the list of Issues you posted on. You can't see your recent activity even
+ [2019-03-11T05:47:18Z] Boobie That's so imprecise and haphazardly designed
+ [2019-03-11T05:48:06Z] Boobie The 'recent activity' on the front page is so dumb. You only get to see a few of the things. And the rest of them are "lost forever"
+ [2019-03-11T05:48:35Z] Boobie Even when someone is responding to you in realtime, you can't see it. And it's gone forever
+ [2019-03-11T05:48:51Z] Boobie go Google it, maybe it will show up in Google results