chiark / gitweb /
Use __run instead of os.system() in git.merge()