pixel c130414032 workflows/mirror: remove (#10135)

2023-05-02 11:26:48 +02:00

..

ISSUE_TEMPLATE

Community: Update Gitter links to Matrix, Update Badges, Remove editor extensions (#9898)

2023-03-27 10:44:21 +05:30

workflows

workflows/mirror: remove (#10135)

2023-05-02 11:26:48 +02:00

codespell-ignore

Revert "Update codespell-ignore (#8530)" (#8531)

2022-09-26 21:21:11 +00:00

PULL_REQUEST_TEMPLATE.md

PULL_REQUEST_TEMPLATE: reduce interline spacing (#8273)

2022-08-02 08:53:46 -03:00