You should always use GitHub to directly edit files.

Yeah, sure...