Comment by jeffmiller

GitHub should integrate this into their site for editing files.