11 ms·
Isn't ERSC aiming to be for jj what GitHub was for git? In which case, this would be great news for jj.
by mtlynch 1mo ago
Isn't ERSC aiming to be for jj what GitHub was for git? In which case, this would be great news for jj.
loading thread…
11 ms·