3 ms·
And the link to …/CONTRIBUTING.md#bug-reports doesn't actually work, because the relevant heading has id=user-content-bug-reports" rather than id="bug-reports".
by kps 7y ago
And the link to …/CONTRIBUTING.md#bug-reports doesn't actually work, because the relevant heading has id=user-content-bug-reports" rather than id="bug-reports".
- gpm 7y agoAre you sure about that? I just tested to be sure, and it works for me (with firefox). I agree that the id in the html is "user-content-bug-reports", but for some reason the link works anyways. Further if you hover over the heading github displays a link icon to its left, and it points at #bug-reports.
- kps 7y agoHmm, you're right; there's an href="#bug-reports" that is somehow ineffective on my other machine.