Closed andrejbauer closed 8 years ago
Do we have a policy on how many people need to agree to a pull request? I would say that at this point any one of the collaborators can just do it, but should check for obvious errors. No need to have two people on it.
Yes, I agree that that's a reasonable policy.
I've also mailed the lmcs-online admins to let them know that the site is down, so perhaps the immediate problem will be resolved soon.
The Travis check is failing because LMCS-online is offline:
So I think we should merge this anyway.