I am using GitPython 2.0.2. While having kill_after_timeout in the pull() e.g. g.pull(kill_after_timeout=10) Before the process killing, there were four processes running: 1. git pull 2. git fetch 3. git-remote-http 4. git fetch-pack After the timeout, (3) and (4) remained. Should _kill_process() be recursively called like the following? ``` if local_pid.isdigit(): _kill_process(local_pid) # is it necessary? child_pids.append(int(local_pid)) ```