Should pool names be unique?
Open
priority:high
- Dominant language
- Python
- Stars
- 2
- Forks
- 15
- PR merge metrics
- No merged PRs in 30d
Description
Pool names are not enforced to be unique. In addition, the same pool can be re-pooled. A caveat of the combination of these is that the same pool name can be added to the same pool name multiple times.
Contributor guide
No contributing guide indexed for this repository
Assessment
This issue has not been assessed yet.