In my opinion, it would be appropriate to use a big hammer here: pull branches in a subprocess, kill if we see no progress in some time.
In my opinion, it would be appropriate to use a big hammer here: pull branches in a subprocess, kill if we see no progress in some time.