![]() Change I99f0c8edaae2185c5dbf855398ace2522237226d allowed offloading the repo reset to a process pool. We can take advandage of this also for the the repo reset during merge as this is also taking longer under high load. Change-Id: I14e704ab818c8c2e0405f0adfc55cee564ed4d1e |
||
---|---|---|
.. | ||
__init__.py | ||
client.py | ||
merger.py | ||
server.py |