Comment by KomoD

> but the Git interface didn't show the commit history

It does, since 0.231, but it doesn't support the remote development feature.