Closed guillaumealgis closed 8 years ago
As remarked in #457.
Did not realize pullapprove meant we could no longer push to master. I feel a bit silly opening a PR for that 😀
master
Btw, shouldn't we protect gh-pages with pullapprove too?
gh-pages
👍
As remarked in #457.
Did not realize pullapprove meant we could no longer push to
master
. I feel a bit silly opening a PR for that 😀Btw, shouldn't we protect
gh-pages
with pullapprove too?