Jonathan Carter
Jonathan Carter
By default, GitDoc is disabled for all workspaces. So you shouldn't need to do any repo-based filtering, as long as you only enable GitDoc for the repos you want to...
It currently only supports syncing with a single repo. Could you share a little more about what you have in mind, with syncing against multiple repos?
Hmm, yeah it does a force push, which is strictly to enable you to undo/revert changes via the `Timeline` view. But this issue is a good reason of why that...
Right now, it pulls after a push. And so yeah, another solution could be to pull _before_ the push. I'll play around with it tomorrow and try to get a...
Yeah I agree with @svdo’s suggestion here. When a guest creates a new untitled document, we should remote/synchronize that gesture to the host. Otherwise, it’s odd that host-created untitled documents...
We had a problem with an action that closed some issues unexpectedly. Apologies for that!
It looks like there's a misconfigured GitHub action that's closing issues unexpectedly :/ Apologies for that. We're trying to resolve that right now.
@IlyaBiryukov Is this a sizing issue? I would have sworn that we supported animations in shared terminals?
@nandiniYeltiwar Do you know if anyone took a look at trying to repro this?
It looks like there's a misconfigured GitHub action that's closing issues unexpectedly :/ Apologies for that. We're trying to resolve that right now.