Type: Buggood first issuep3
Repository metrics
- Stars
- (1,481 stars)
- PR merge metrics
- (PR metrics pending)
Description
$ref values are URI and URI are case-sensitive, therefore, no-unresolved-refs should be case-sensitive.
It seems to vary with the OS at the moment (case-insensitive on Windows).