I recently discovered (literally not five minutes ago) that it’s possible to edit github repositories through a web interface? With all the push/pull/commit bullshit as well? Absolutely incredible.