+[2019-07-26T17:02:48Z]dashdanwi had a question about pull requests and allowing admins to force merge +[2019-07-26T17:03:40Z]dashdanwwe 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]dashdanwit seems like I can only allow or disallow it in the repo settings pane +[2019-07-26T21:14:54Z]zaherdirkeyhi, "limited access to GitHub public repository services for personal communications only." what is meant? +[2019-07-26T22:22:02Z]ysangkoki 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. 174297
Posted by gidna in #github at 2019-07-26T09:51:22Z
when I do git push /j #git
+[2019-07-27T18:23:01Z]energizeranybody know a good bot that rebases and merges pull requests? +[2019-07-27T18:23:09Z]energizeri tried https://github.com/bobvanderlinden/probot-auto-merge but it mostly doesn't work +[2019-07-27T18:23:31Z]energizermergify.io doesn't work if you have branch restrictions on +[2019-07-27T18:23:38Z]energizergithub actions is in closed beta +[2019-07-27T18:24:14Z]energizerbulldozer is the only remaining option i see, but i'd have to host it which might be pain