ca5d0cac39
With multiple mergers modifying the os-env GIT_SSH this caused some races. Instead use gitpython's context manager for setting the ssh command and therefore private key. Change-Id: I55e628ffd429f6028ae2f9931d86731fe9807365 |
||
---|---|---|
.. | ||
__init__.py | ||
client.py | ||
merger.py | ||
server.py |