RedPRL/sml-redprl

for PRs, allow only squash or rebase, and demand testing to be passed?

Closed this issue · 9 comments

Now GitHub provides fine-grained controls over the operations available to PRs.... @jonsterling

Sure, that seems reasonable!

I've switched it so that you can only do squash or rebase; do you know how to make it so that tests have to pass?

We can even demand reviews if we want to.

I've turned on basically the most draconian set of restrictions for master so we can try them out 😄 If it seems too much, we can make adjustments. I made it so that reviews are required, tests passing are required, and I think I made it so that we can't even push directly to master without going through a PR (I hope that's what this setting did, not sure--we'll find out).

Closed as fulfilled.

@jonsterling I think you are the only one who can merge PRs now. At least I can't. Probably too restricted?

I think I have fixed it.