The source url should be changed to `git+https://github.com/ioi/isolate.git` as Github no longer supports the git protocol.
Flagged Out-of-Date Comment: isolate-git
khoyo flagged isolate-git out-of-date on 2022-08-11 (UTC) for the following reason:
khoyo flagged isolate-git out-of-date on 2022-08-11 (UTC) for the following reason:
The source url should be changed to `git+https://github.com/ioi/isolate.git` as Github no longer supports the git protocol.