Philipp Krones bcdf147aaf Rollup merge of #7298 - flip1995:ci-switch-to-monster, r=xFrednet,flip1995 ... Switch CI to new metadata collection r? `@xFrednet` Things we have to keep in mind: - This removes the template files and the scripts used for deployment from the checkout. This was added in #5517. I don't think we ever needed those there. Not sure though. - ~~As a result, we can't remove the python scripts yet. We have to wait until this hits a stable Clippy release.~~ I'll just break the next stable deploy and do it by hand once. - This should be merged together with #7279. Me and `@xFrednet` will coordinate the switch - ...? I still have to try out some things: - [x] Is it worth caching? Yes - [x] ~~Is it worth to do a release build?~~ Nope - [x] Does it actually work? With a few changes, yes - [ ] ...? changelog: Clippy now uses a lint to generate its documentation 🎉		2021-07-28 15:06:26 +02:00
..
etc	Updated clippy_dev ui message and vscode task name	2021-06-28 20:40:09 +02:00
gh-pages	Adapting the lint list to Clippy's new metadata format	2021-07-28 15:03:55 +02:00
fetch_prs_between.sh	util/fetch_prs_between.sh: Add Markdown formatted Link	2020-04-20 21:08:55 +02:00
versions.py	Remove old python lint doc generation scripts	2021-07-28 14:18:40 +02:00