[SERVER-71735] Rename simplecpplint.py to mongolint.py Created: 01/Dec/22  Updated: 29/Oct/23  Resolved: 26/Jun/23

Status: Closed
Project: Core Server
Component/s: None
Affects Version/s: None
Fix Version/s: 7.1.0-rc0

Type: Improvement Priority: Major - P3
Reporter: Alex Neben Assignee: Juan Gu
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Assigned Teams:
Server Development Platform
Backwards Compatibility: Fully Compatible
Participants:

 Description   

We should have moved most checks out of this file and at which point we can rename this file as it no longer applies to cpp code. This file will house generic python related checks for various files.



 Comments   
Comment by Githook User [ 24/Jun/23 ]

Author:

{'name': 'Juan Gu', 'email': 'juan.gu@mongodb.com', 'username': 'juangugit'}

Message: SERVER-71735 Rename simplecpplint.py to mongolint.py
Branch: master
https://github.com/mongodb/mongo/commit/8b9114b67fb903a97d7578cc00aa40b1e0a88901

Generated at Thu Feb 08 06:19:50 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.