[Editor github sync] Discard changes/revert machine to git version, per machine

[josephfh]

Details

I'd like to revert changes I've made in the editor to a single machine to the version from Github. This would be the equivalent of checking out a single file from a remote branch to replace any local changes

Category

Editor