Proposal: Local Git Bridge

[iamhyc]

With Local Replica ("Open Project Locally"), you can use git in the local folder and sync with the remote Git server like GitHub.

This is also possible in the normal open of virtual filesystem with the help of isomorphic-git, however this feature has not been implemented in src/scm/localGitBridgeSCM. I am not going to work on it right now, cause I also think a local folder is good enough.

For now, I will simply put my original notes here in case someone is in demand of the feature, or would like to contribute this feature :)

TODOs

• support overleaf history push to git
  • parse history version item into git format

    username, email, timestamp, commit message, diff

  • one-time git remote server authentication
  • identify the "latest sync base" via multi-modal match
  • force push and rebase from the "latest sync base"
• support overleaf history pull from git
  • before rebase, squash the commits since the "lastest sync base", and apply to overleaf;
  • then apply the above force-push procedure;