glenn-jocher's picture
Add `check_git_status()` 5 second timeout (#3464)
563ea94 unverified