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

3 Commits

Author SHA1 Message Date
Zack Winter c47bf8d1ef SERVER-100116 Set up rules_lint with eslint (#32036) 
GitOrigin-RevId: b358136eaef9eec27470065d6254112867b56245
 2025-04-09 19:38:20 +00:00
Juan Gu 7209d62b77 SERVER-99522 Delete dead py linters (#31760) 
GitOrigin-RevId: 3aedfa559dda734d4d89fefe0fe1154a5a3cf04d
 2025-04-09 19:33:45 +00:00
Juan Gu cddfd05ae1 SERVER-95294 Use pyright for static type checking (#28167) 
GitOrigin-RevId: d5f49b6d59569fa690b39173ada4e03739b0e75c
 2024-10-24 18:16:36 +00:00