-
David Runge authored
repo_management/operations.py: Do not try to cover the cases, that coveragepy is not able to cover (e.g. async for loops with awaitables). Upstream coveragepy seems to still have issues coverying different kinds of concurrency techniques: https://github.com/nedbat/coveragepy/issues/1012