Korlo 7f4e5d8cc4 update pull request template ...

Improved suggestion for formatting lint names in the template:

    changelog: [`lint_name`]: your change

2022-07-12 17:26:30 +02:00

..

ISSUE_TEMPLATE

…

workflows

Make sure bors success depends on metadata_collection

2022-06-30 11:37:48 +02:00

deploy.sh

Move js out to its own file

2022-04-26 18:22:37 -04:00

driver.sh

…

PULL_REQUEST_TEMPLATE.md

update pull request template

2022-07-12 17:26:30 +02:00