Ignore MRs that were merged or closed more than 7 days ago
See Note / ignore old MRs (#20 - closed) for details. Closes #20 (closed).
7 days was chosen fairly arbitrarily. Open to suggestions!
See Note / ignore old MRs (#20 - closed) for details. Closes #20 (closed).
7 days was chosen fairly arbitrarily. Open to suggestions!