rubenwardy b1786e88ac Use .md extension for markdown files ...

Linking to line numbers is brittle, linking to sections/headings is better.

If you still want to link to a line number, you can append ?plain=1 to GitHub's URL

2023-04-16 20:23:53 +01:00

..

ISSUE_TEMPLATE

Bug report template: ask contributors to provide a code snippet (#12405)

2022-06-05 16:12:39 -04:00

workflows

Disable ubuntu-18.04 CI workflows

2023-04-08 17:27:28 +02:00

CONTRIBUTING.md

Use .md extension for markdown files

2023-04-16 20:23:53 +01:00

PULL_REQUEST_TEMPLATE.md

Add roadmap (#10536)

2021-06-17 04:15:30 +01:00

SECURITY.md

Update Github templates (#8593)

2019-06-13 15:09:15 +01:00