Ivan Levkivskyi

> Currently we patch typeshed... Can we revert https://github.com/python/mypy/pull/13093 in this PR and see if everything works? +1 to this idea.

As a wild guess: maybe GitHub actions now somehow magically turn (some) files into symlinks? Docs for `os.utime()` says it doesn't follow symlinks.

Actually I misread the docs I think, the default seems to be `True`, i.e. to follow symlinks. So we can rule this out.

Actually, yes, I agree that a better way to trigger join is to use `f(x: T, y: T) -> T: ...`.

But why don't you like sequential definitions? As PEP 20 says flat is better than nested. Also it would make sense to give meaningful names to sub-dictionaries (after all something...

I didn't see any objections, so here is a [Zoom link](https://dropbox.zoom.us/j/95379975466?pwd%3DTjlHMkt0b2dFUWYwWFdRVy80bGNNQT09) I scheduled for Monday, Sep 26, 5PM Dublin time. (I also added access to the doc for everyone who...

Hm, weird, can you try `466977`?

Are you clicking on the Zoom link above? It includes the password.

Btw we forgot to discuss one idea in the meeting: how do people feel about having separate versioning for plugin API? Like every time we have a breaking change, we...

> One other change to get in for 1.0 we didn't mention: show error codes by default https://github.com/python/mypy/pull/13542 FWIW I like this idea, @JukkaL what do you think?