about summary refs log tree commit diff
path: root/util
AgeCommit message (Expand)AuthorLines
2020-01-30Deprecate util/dev in favor of cargo aliasPhilipp Hansch-0/+2
2019-10-22build: use shared target dirLzu Tao-1/+3
2019-10-22build: improve script and travis configLzu Tao-6/+7
2019-08-28Also fetch rollup merges in fetch_prs_between.sh scriptflip1995-1/+1
2019-08-18Ignore lines starting with '#'Jeremy Stucki-1/+12
2019-08-15Remove util/update_lints.pyPhilipp Hansch-10/+0
2019-08-12Filter out PRs with changelog: noneflip1995-1/+6
2019-06-23don't strip blank lines in lint documentationAndy Russell-12/+9
2019-03-05move lint documentation into macro invocationsAndy Russell-30/+25
2019-02-28Use the same <title> as <h1> on gh-pagesMartin Taibr-2/+2
2019-02-16Use normal HTML label semantics for filterMichael Howell-2/+2
2019-01-29fetch_prs_between: add .sh file endingMatthias Krüger-0/+0
2019-01-25Add script to fetch GitHub PRs between two commitsPhilipp Hansch-0/+20
2019-01-08Remove all copyright license headersPhilipp Hansch-42/+0
2018-11-22rust-lang-nursery/rust-clippy => rust-lang/rust-clippyMatthias Krüger-2/+2
2018-11-05RIIR update lints: Add check mode (update_lints.py rewrite complete)Philipp Hansch-238/+4
2018-10-31RIIR update lints: Generate deprecated lintsPhilipp Hansch-1/+1
2018-10-15Website: Make lint categories linkablePark Juhyung-0/+29
2018-10-08Merge pull request #3265 from mikerite/fix-exportPhilipp Hansch-4/+9
2018-10-06Add license header to other filesManish Goregaokar-0/+45
2018-10-05Fix util/export.py to include lints from methodsMichael Wright-4/+9
2018-09-30Fix update_lints.py for dir modulesMichael Wright-5/+11
2018-09-03update_lints rewrite: Add structure and --print-onlyPhilipp Hansch-13/+5
2018-09-02Merge remote-tracking branch 'upstream/master' into prsPhilipp Hansch-5/+5
2018-08-29Adapt scripts to the tool_lintsflip1995-5/+5
2018-08-28Fix typo for panel cursorIvan Tham-1/+1
2018-08-22Remove unused codeflip1995-5/+0
2018-08-12update_lints.py: port another print to print() for python3 compatibility.Matthias Krüger-1/+1
2018-08-09lintlib: Use Python 3 compatible printDavid Vo-1/+1
2018-07-25fix a bunch of typos found by codespellMatthias Krüger-1/+1
2018-07-25s/wiki/lint list/Philipp Hansch-2/+2
2018-07-19Improve website panel heading experienceIvan Tham-0/+3
2018-07-05Consistently call it "Clippy", not clippy or rust-clippyDale Wijnand-1/+1
2018-06-15Fix typo in lint dump scriptOliver Schneider-1/+1
2018-06-14Lint printing was brokenOliver Schneider-5/+15
2018-04-30Lint for multiple versions of dependenciesYusuf Simonson-0/+2
2018-04-10Docs: Reorganize layout a bit and show lint groupsPascal Hertleif-18/+57
2018-04-10Add lint groups to doc exportPascal Hertleif-0/+1
2018-03-31Fix lintlib scriptflip1995-33/+27
2018-03-28Update test suiteOliver Schneider-8/+22
2018-03-28Categorize all the lints!Oliver Schneider-96/+67
2018-03-27Implementation + move one lintOliver Schneider-6/+54
2018-02-19Fix name of configuration parameters in documentationflip1995-1/+1
2018-02-01Allow empty lines in lint doc examplesPhilipp Hansch-3/+8
2017-09-01Update README lint counter messageOliver Schneider-2/+2
2017-09-01wiki -> docsOliver Schneider-2/+2
2017-09-01Deprecate the wiki and remove the lint list from the README (fixes #1933)Oliver Schneider-118/+2
2017-08-14Merge branch 'master' into move_linksOliver Schneider-0/+86
2017-08-07Docs index: Sort versions in a nice wayPascal Hertleif-2/+18
2017-08-06Change all links to reflect the move to rust-lang-nurseryAndre Bogus-2/+2
generated by cgit-pink 1.4.1-3-g733a5 (git 2.37.1) at 2026-02-11 00:30:59 +0000