[SERVER-49945] Mark mypip.ini file as hidden Created: 28/Jul/20  Updated: 29/Oct/23  Resolved: 17/Aug/20

Status: Closed
Project: Core Server
Component/s: Build
Affects Version/s: None
Fix Version/s: 4.7.0

Type: Improvement Priority: Major - P3
Reporter: Andrew Morrow (Inactive) Assignee: David Bradford (Inactive)
Resolution: Fixed Votes: 0
Labels: None
Remaining Estimate: Not Specified
Time Spent: Not Specified
Original Estimate: Not Specified

Backwards Compatibility: Fully Compatible
Sprint: DAG 2020-08-24
Participants:
Story Points: 1

 Description   

It is a small thing, but all the other linter configuration files are hidden files starting with a ., with the exception of mypy.ini. A brief glance at the docs suggests that it too could be hidden. Doing so would slightly reduce the clutter at the top of the tree.



 Comments   
Comment by Githook User [ 17/Aug/20 ]

Author:

{'name': 'David Bradford', 'email': 'david.bradford@mongodb.com', 'username': 'dbradf'}

Message: SERVER-49945: move mypy.ini to .mypy.ini
Branch: master
https://github.com/mongodb/mongo/commit/4b454dbdaff785835998cd257c4410a16ca87b59

Comment by David Bradford (Inactive) [ 28/Jul/20 ]

From the mypy docs, it looks like mypy will detect `.mypy.ini` by default, so this should be a straightforward change.

Generated at Thu Feb 08 05:21:17 UTC 2024 using Jira 9.7.1#970001-sha1:2222b88b221c4928ef0de3161136cc90c8356a66.