Closed kalawac closed 1 year ago
Resolves #704 No other references to duplicates being only for issues: HOW_WE_USE_GITHUB contains sections that specifically talk about duplicate issues but these sections are not relevant to PRs.
HOW_WE_USE_GITHUB
Description
Resolves #704
No other references to duplicates being only for issues:
HOW_WE_USE_GITHUB
contains sections that specifically talk about duplicate issues but these sections are not relevant to PRs.