search

Skydio / revup

Effortlessly create and manage pull requests without changing branches. Powers a stacked diffs workflow with python and git "plumbing" commands.
https://github.com/Skydio/revup
MIT License
310 stars 59 forks source link

shell: Fix broken mypy linting on asyncio.gather() #134

Closed jerry-skydio closed 8 months ago

jerry-skydio commented 8 months ago

This used to work but somehow got broken by a mypy version upgrade. Now the output of gather is treated as a list and as a result type info by index is not preserved. We have to manually declare the types by asserting for it to be happy.

jerry-skydio commented 8 months ago

Reviews in this chain: └https://github.com/Skydio/revup/pull/134 shell: Fix broken mypy linting on asyncio.gather()

jerry-skydio commented 8 months ago
# head base diff date summary
0 e8daeef8 9bfa7fb9 diff Dec 22 15:28 PM 1 file changed, 9 insertions(+), 2 deletions(-)