main
Tom Parker-Shemilt
Correct pull_request_target types to include when edited
Merge branch 'master' into popularity
Add PR tidyup
editorconfig got updated
Last fixups for workflows
Add some configurations
Ignore ec-*
Forbid trailing whitespaces
Drop Travis CI badge example
Bump quinn-proto from 0.11.14 to 0.11.16
Add explicit license file to make Github pick up on things
Merge branch 'main' into add-malevich