4 Commits

Author	SHA1	Message	Date
Issy Long	d0795d2b9d	Delete ancient 'managing PRs' flowchart ... - This diagram was really old and didn't reflect the current practices (a lot more things are automated now, hurray). - Anything we replace it with will get outdated fast too. - Also delete the diagramming docs since I don't believe we have made another diagram since this one which got out of date and forgotten about since it was a DrawIO SVG and not easily editable as code. - If we want diagrams these days, we can use Mermaid which is diagrams-as-code.	2024-02-05 01:47:55 +01:00
Claudia	f4d81fee1c	Add flowchart for managing pull requests ... - Add flowchart for handling ready-to-merge pull requests - Add diagram guidelines Many thanks to Sean Molenaar for the idea and initial version of the chart. CC: Sean Molenaar <smillernl@me.com>	2020-09-06 14:54:28 +02:00
Maxim Belkin	19f6915868	.editorconfig: extend rules to non-homebrew taps	2019-02-21 20:06:31 -06:00
EricFromCanada	341b24a9c5	also apply .editorconfig to Markdown files	2018-10-05 17:33:24 -04:00