GitDoc doesn't commit & push on save/close

[notthebee]

First of all, thanks for this amazing extension! It's perfect for my purposes, despite some issues which I want to share.

In my experience, GitDoc doesn't push on every commit, it seemingly does it every 30s despite what I set in the settings. This is suboptimal, since I'd like it to push every time I save the file.

It also doesn't always pull on open – most of the time I have to wait for some time until the changes get pulled. I've tried editing config.json manually, but unfortunately, that doesn't work either

[usamaehsan]

have you found any solution?

[lostintangent]

GitDoc has a hook that runs when VS Code attempts to close, but I'm not sure if it's getting called realiably :/ I'll try to look into it again this week and see if I can figure out a way to make this week.

In the meantime, I think that enabling auto-push on a delay is the most reliable solution.