[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: |
| 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. |