Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Pytype #647

Open
wants to merge 5 commits into
base: master
Choose a base branch
from
Open

Pytype #647

wants to merge 5 commits into from

Conversation

MichaelMarien
Copy link

@MichaelMarien MichaelMarien commented Oct 4, 2019

Not mypy as in #279 , but we developed this at my company anyway, so why not contribute :).
Feel free to decline if not in line with project vision.

@arcivanov
Copy link
Member

Thank you for the PR! I'm a bit confused by the wording:

but we developed this at my company anyway, so would not contribute

What did you develop proprietarily and would not contribute?

@MichaelMarien
Copy link
Author

Thank you for the PR! I'm a bit confused by the wording:

but we developed this at my company anyway, so would not contribute

What did you develop proprietarily and would not contribute?

whoops, bad wording, WHY not contribute :) Edited it!

@arcivanov
Copy link
Member

Thanks :) It'll take me some time to review as there are major changes being developed/tested right now.

@coveralls
Copy link

coveralls commented Mar 11, 2020

Coverage Status

Coverage decreased (-0.1%) to 79.403% when pulling 88eb8ff on MichaelMarien:pytype into 2392e90 on pybuilder:master.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

3 participants