Yes a friend set it up so it automatically changed the files locally. But, for me I frequently use the undo function in my local files and having it auto save didnt work for me. Personal preference.

Cool that yours auto pushed to a repo.