Real-time editing of repo files
- Real-time editing of repo files, similar to Google docs.
- How should this work from a git source control perspective? Should changes be committed every few seconds/minutes? Should versioning be totally handled by git? Or a combination of git and GitLab (i.e. system state of outside of git).
- How should this integrate with Web IDE?
- We probably want separate modes? Configuration? Many people would want to use the Web IDE. But probably not everyone wants autosave / auto versioning from there.