mirror of
https://github.com/GitJournal/GitJournal.git
synced 2025-10-17 02:22:55 +08:00
fc8e83b035
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.