ok, so even more of a pain to keep notes in sync now right? git push from the source, and then again a git pull from the destination. And let's not think about

ok, so even more of a pain to keep notes in sync now right? git push from the source, and then again a git pull from the destination. And let's not think about if you accidentally forgot to sync your two repos, and now you have to deal with merge conflicts.