You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
{{ message }}
This repository was archived by the owner on Apr 27, 2022. It is now read-only.
I think it'd be beneficial for us to determine a clear path to getting PRs merged. I know a lot of us want to contribute (and want to accomplish things quickly, so we can make a lot of progress this month), but right now I'm not sure what the criteria are for getting a PR merged (or even a clear idea of who can merge them).
I personally think that it would be good for us to add a number of contributors to this repo, and perhaps specify a threshold for the number of approvals required to merge a pull request into master.