bors 6f1def79dd Auto merge of #13269 - GuillaumeGomez:rewrite-lints-page, r=Alexendoo ... Rewrite lints page This PR has multiple goals: * Make lints page to work without needing a web server by removing the json file. * Prepare the field to also make the page work with JS (not done in this PR but should be straightforward). * Remove angular dependency. r? `@Alexendoo` changelog: make lint page work without web server		2024-10-11 14:18:54 +00:00
..
ISSUE_TEMPLATE	Merge commit '30448e8cf9' into clippyup	2023-06-02 11:41:57 +02:00
workflows	Update actions/setup-node to v4	2024-09-23 22:08:54 -07:00
deploy.sh	Move theme handling JS into its own file to make theme being applied before first rendering	2024-10-03 11:12:19 +02:00
driver.sh	Manually set library paths in .github/driver.sh	2024-05-16 21:11:58 +01:00
PULL_REQUEST_TEMPLATE.md	Merge commit 'fdb84cbfd2' into clippyup	2022-07-18 09:39:37 +02:00