mirror
/
mongo
mirror of https://github.com/mongodb/mongo
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity
78,397 Commits 150 Branches 1,457 Tags 1.2 GiB
Commit Graph

7 Commits

Author SHA1 Message Date
stevegrossmongodb 373aff474e SERVER-76796 Upgrade several linters 2023-07-03 15:11:25 +00:00
Ryan Egesdahl ca4df25002 SERVER-50592 Update mypy and GitPython pip requirements 
Update the mypy and GitPython pip modules that are required for linting
builds before commits to compatible versions rather than hard version
requirements.
 2020-09-01 01:19:35 +00:00
David Bradford 4b454dbdaf SERVER-49945: move mypy.ini to .mypy.ini 2020-08-17 18:11:41 +00:00
Mathew Robinson c6560dd65c SERVER-40549 Remove ignore_interpreter 2019-04-12 11:02:46 -04:00
Mathew Robinson 8dd6d47557 SERVER-32295 Support Python 3 2019-04-08 14:08:49 -04:00
Jonathan Abrahams c50c68fef1 SERVER-23312 Python linting - Lint using pylint, pydocstyle & mypy 2018-04-05 14:41:58 -04:00
Mark Benvenuto c776e095ac SERVER-28308 Integrate python linting for IDL into Evergreen 2017-04-18 18:18:26 -04:00