Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Doc: create issue and PR management guidelines #10668

Merged
merged 1 commit into from
May 15, 2019
Merged

Doc: create issue and PR management guidelines #10668

merged 1 commit into from
May 15, 2019

Commits on May 3, 2019

  1. Doc: create issue and PR management guidelines 

    I would like to propose a formal guide for issue triage and PR management.
This should help us keep open issues and PRs under a desirable numbers.
For example, keep issues under 100. These guidelines should specially help
manage and close issues and PRs that are inactive in a timely manner.
    @spzala
    spzala committed May 3, 2019
    Configuration menu
    Copy the full SHA
    39bbc66 View commit details
    Browse the repository at this point in the history