+ [2019-07-26T17:02:48Z] dashdanw i had a question about pull requests and allowing admins to force merge
+ [2019-07-26T17:03:40Z] dashdanw we have codecov running on our github, and I'd like to allow admins to force merge if the coverage is below the acceptable limit, I remember we had it set up at my last job but I can't remember how we did it, it would give us a warning like "are you sure you want to force merge?" and it was nice because it still made you feel like you were doing a no-no but we could employ it when necessary
+ [2019-07-26T17:03:57Z] dashdanw it seems like I can only allow or disallow it in the repo settings pane
+ [2019-07-26T21:14:54Z] zaherdirkey hi, "limited access to GitHub public repository services for personal communications only." what is meant?
+ [2019-07-26T22:22:02Z] ysangkok i don't understand in https://raw.githubusercontent.com/bitcoin/bips/master/bip-0075.mediawiki how come does the "{" after "message InvoiceRequest" get html encoded? here is the rendered version that shows the html markup in the rendered view https://github.com/bitcoin/bips/blob/master/bip-0075.mediawiki

message no. 174304

Posted by zaherdirkey in #github at 2019-07-26T21:14:54Z

hi, "limited access to GitHub public repository services for personal communications only." what is meant?
+ [2019-07-27T18:23:01Z] energizer anybody know a good bot that rebases and merges pull requests?
+ [2019-07-27T18:23:09Z] energizer i tried https://github.com/bobvanderlinden/probot-auto-merge but it mostly doesn't work
+ [2019-07-27T18:23:31Z] energizer mergify.io doesn't work if you have branch restrictions on
+ [2019-07-27T18:23:38Z] energizer github actions is in closed beta
+ [2019-07-27T18:24:14Z] energizer bulldozer is the only remaining option i see, but i'd have to host it which might be pain