{"id":42,"description":"git - revert changes to a single file","tags":["git","shortcuts"],"contents":["git checkout [commit ID] -- /path/to/your/file # Defaults to HEAD if no commit ID is specified"]}