Sahdev P. Zala 39bbc66b46 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.		2019-05-03 17:03:17 -04:00
..
PRs.md	Doc: create issue and PR management guidelines	2019-05-03 17:03:17 -04:00
issues.md	Doc: create issue and PR management guidelines	2019-05-03 17:03:17 -04:00