Note that magic sync obviates need for git commit

In "editing Files," note that "magic sync" does a commit.