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