I know Patrick told us at some point, but I can't find the email or wiki that describes how to run the script that auto-closes PRs with "do you mind closing this PR". Does anyone know? I think it's been a long time since it was run.
--------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
