3 ms·

> but the Git interface didn't show the commit history It does, since 0.231, but it doesn't support the remote development feature.