dnrops
/
rust
mirror of https://github.com/rust-lang/rust.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
8,799 Commits 7 Branches 138 Tags 1.7 GiB
Commit Graph

116 Commits

Author SHA1 Message Date
flip1995 6c27482115 Merge commit '3ae8faff4d46ad92f194c2a4b941c3152a701b31' into clippyup 2021-06-03 08:41:37 +02:00
flip1995 d605882023 Merge commit 'b71f3405606d49b9735606b479c3415a0ca9810f' into clippyup 2021-05-06 12:20:44 +02:00
flip1995 02bf692169 Merge commit '98e2b9f25b6db4b2680a3d388456d9f95cb28344' into clippyup 2021-04-22 11:31:13 +02:00
flip1995 f6d1f368db Merge commit 'b40ea209e7f14c8193ddfc98143967b6a2f4f5c9' into clippyup 2021-04-08 17:50:13 +02:00
flip1995 ac912be984 Merge commit '95c0459217d1661edfa794c8bb122452b92fb485' into clippyup 2021-01-30 18:06:34 +01:00
flip1995 ba4bf4f9c5 Merge commit '1fcc74cc9e03bc91eaa80ecf92976b0b14b3aeb6' into clippyup 2021-01-02 16:29:43 +01:00
flip1995 f03edfd7a1 Merge commit '4911ab124c481430672a3833b37075e6435ec34d' into clippyup 2020-12-20 17:19:49 +01:00
Jack Huey 0e2f5c9862 Fix nit and cargo.lock 2020-05-07 17:46:31 -04:00
Philipp Hansch 8d596ea01c
Remove util/dev script 
`cargo dev` has been the replacement for a while, so I think we can
remove it now.

cc #5394
 2020-04-26 14:00:03 +02:00
Philipp Hansch 90d8b6354e
util/fetch_prs_between.sh: Add Markdown formatted Link 
This can then be easily copy/pasted into the changelog 💙
 2020-04-20 21:08:55 +02:00
ThibsG 629cc4ada3 Update doc generation script 2020-04-09 09:17:41 +02:00
flip1995 aa1ad42736
Also deploy from the beta branch 2020-03-25 20:20:54 +01:00
flip1995 a1dc609f21
Fix documentation generation for configurable lints 2020-03-22 18:15:06 +01:00
flip1995 0f7918266f
Rename current -> stable 2020-02-14 12:03:48 +01:00
flip1995 2044931cbe
Better version ordering of documentation 2020-02-13 17:59:37 +01:00
flip1995 5e03d5bb06
Sort versions in json output 2020-02-13 17:59:37 +01:00
flip1995 935b94d80b
Sort output of export.py script 2020-02-12 09:34:27 +01:00
Philipp Hansch 4d1a11d354
Deprecate util/dev in favor of cargo alias 
If you've been using `./util/dev` before, this now becomes `cargo dev`.

The key part of this change is found in `.cargo/config`.

This means one less shell script and a bit more cross-platform support
for contributors.
 2020-01-30 21:34:31 +01:00
Lzu Tao f3ace5e71d build: use shared target dir 2019-10-22 16:16:01 +07:00
Lzu Tao b869eeb2a4 build: improve script and travis config 
* fix a diff failure on windows

See https://travis-ci.com/rust-lang/rust-clippy/jobs/245971932#L1625
for an example.

* use cmp instead of diff > /dev/null

* clone single branch instead of clone then checking out

* do not decrypt key if have no diff change
 2019-10-22 10:14:39 +07:00
flip1995 2dc7727bcd
Also fetch rollup merges in fetch_prs_between.sh script 2019-08-28 13:53:56 +02:00
Jeremy Stucki df211ff467
Ignore lines starting with '#' 2019-08-18 18:04:18 +02:00
Philipp Hansch 781794d49f
Remove util/update_lints.py 
This has been deprecated for ~10 months, so I think it's fine to remove now.
 2019-08-15 17:43:30 +02:00
flip1995 27ddde561e
Filter out PRs with changelog: none 2019-08-12 09:38:52 +02:00
Andy Russell 4ce100beb2
don't strip blank lines in lint documentation 2019-06-23 16:21:43 -04:00
Andy Russell fe96ffeac9
move lint documentation into macro invocations 2019-03-05 18:45:08 -05:00
Martin Taibr 3f7d0c8d75 Use the same <title> as <h1> on gh-pages 2019-02-28 19:17:10 +01:00
Michael Howell 67f50661eb
Use normal HTML label semantics for filter 
I legitimately don't understand why you did it with ARIA instead.
 2019-02-16 13:16:50 -07:00
Matthias Krüger 246b9e7aed fetch_prs_between: add .sh file ending 2019-01-29 20:00:45 +01:00
Philipp Hansch 1adc35703f
Add script to fetch GitHub PRs between two commits 2019-01-25 18:07:50 +01:00
Philipp Hansch 38d4ac7cea
Remove all copyright license headers 
Discussion previously happened in https://github.com/rust-lang/rust/pull/43498
 2019-01-08 21:46:39 +01:00
Matthias Krüger f5929e0797 rust-lang-nursery/rust-clippy => rust-lang/rust-clippy 2018-11-22 04:40:09 +01:00
Philipp Hansch 90f31e21ab
RIIR update lints: Add check mode (update_lints.py rewrite complete) 
This finishes up the rewrite of `update_lints.py` in Rust. More
specifically, this

* adds the `--check` flag and handling to clippy_dev
* tracks file changes over the different calls to `replace_region_in_file`
* only writes changes to files if the `--check` flag is *not* used
* runs `./util/dev update_lints --check` on CI instead of the old script
* replaces usage of the `update_lints.py` script with an error

`./util/dev update_lints` behaves 99% the same as the python script.
The only difference that I'm aware of is an ordering change to
`clippy_lints/src/lib.rs` because underscores seem to be sorted
differently in Rust and in Python.

🏁
 2018-11-05 07:18:47 +01:00
Philipp Hansch 64bd658516
RIIR update lints: Generate deprecated lints 
The update script now also generates the 'register_removed' section in
`clippy_lints/src/lib.rs`.

Also, instead of using `let mut store ...`, I added a new identifier
line so that the replacement will continue to work in case `let mut
store ...` ever changes.
 2018-10-31 08:03:50 +01:00
Park Juhyung 4c88362a9d Website: Make lint categories linkable 
Fixes #2973
 2018-10-15 22:36:35 +09:00
Philipp Hansch a16edf84ce
Merge pull request #3265 from mikerite/fix-export 
Fix util/export.py to include lints from methods
 2018-10-08 07:22:09 +01:00
Manish Goregaokar 23e5e24f52 Add license header to other files 2018-10-06 09:43:08 -07:00
Michael Wright e5b388d865 Fix util/export.py to include lints from methods 2018-10-05 08:04:14 +02:00
Michael Wright f01fa227c0 Fix update_lints.py for dir modules 2018-09-30 06:25:23 +02:00
Philipp Hansch 35f100b4f9
update_lints rewrite: Add structure and --print-only 2018-09-03 22:18:51 +02:00
Philipp Hansch 8e0de3d120
Merge remote-tracking branch 'upstream/master' into prs 2018-09-02 11:05:49 +02:00
flip1995 bb49b31254 Adapt scripts to the tool_lints 2018-08-29 11:08:29 -07:00
Ivan Tham 340500ede5
Fix typo for panel cursor 2018-08-28 10:24:21 +08:00
flip1995 efeed9aefc
Remove unused code 2018-08-22 17:47:54 +02:00
Matthias Krüger 7ded77fe7d update_lints.py: port another print to print() for python3 compatibility. 2018-08-12 11:33:44 +02:00
David Vo 9bb68b84ab
lintlib: Use Python 3 compatible print 
Ref: #2882
 2018-08-09 17:29:22 +10:00
Matthias Krüger 2665f10662 fix a bunch of typos found by codespell 2018-07-25 20:02:52 +02:00
Philipp Hansch 0961c692fa
s/wiki/lint list/ 2018-07-25 08:22:52 +02:00
Ivan Tham 2c65e7c835
Improve website panel heading experience 2018-07-19 14:12:47 +08:00
Dale Wijnand d95d6516b4
Consistently call it "Clippy", not clippy or rust-clippy 
As per discussion on the Clippy 1.0 RFC
 2018-07-05 11:37:50 +01:00