mirror of
https://github.com/GitJournal/GitJournal.git
synced 2025-09-12 14:09:12 +08:00

Now with the latest git_bindings we no longer use git_pull which would do a fetch + merge. It's good that these two actions are separated as I can then easily replace the git_merge with a smarter version implemented in git. Also, that way in the future, the git_bindings plugin will only be used for git_fetch and git_push for SSH. Everything else can be handled by dart_git.