original ) (raw ) Issue33370
Created on 2018-04-26 23:27 by onlined , last changed 2022-04-11 14:58 by admin . This issue is now closed .
Pull Requests
URL
Status
Linked
Edit
PR 6614 merged
onlined,2018-04-26 23:30
PR 6623 closed
cypher,2018-04-28 09:11
Messages (3)
msg315823 - (view) Author: Ekin Dursun (onlined) *
Date: 2018-04-26 23:27
Since Python developers started to use mypy, I need we should add .mypy_cache directories to .gitignore.
msg315852 - (view) Author: Brett Cannon (brett.cannon) *
Date: 2018-04-27 18:26
Python's standard library isn't typed so running mypy on it isn't really beneficial at the moment. Plus you can add .mypy_cache to your global .gitignore file. I'm not saying we can't add it, I'm just saying it isn't a priority.
msg315882 - (view) Author: Stéphane Wirtel (matrixise) *
Date: 2018-04-29 06:46
you could use a feature of git for the global .gitignore file git config --global core.excludesfile ~/.gitignore source: https://git-scm.com/docs/gitignore/2.17.0
History
Date
User
Action
Args
2022-04-11 14:58:59
admin
set
github: 77551
2018-04-30 19:11:14
brett.cannon
set
status: open -> closedresolution: fixedstage: patch review -> resolved
2018-04-29 06:46:21
matrixise
set
nosy: + matrixise messages: +
2018-04-28 09:11:05
cypher
set
pull_requests: + <pull%5Frequest6319>
2018-04-27 18:27:08
brett.cannon
set
type: enhancement
2018-04-27 18:26:50
brett.cannon
set
priority: normal -> lownosy: + brett.cannon messages: +
2018-04-26 23:30:25
onlined
set
keywords: + patch stage: patch reviewpull_requests: + <pull%5Frequest6310>
2018-04-26 23:27:40
onlined
create
