Removed a crappy outdated unfinished project by Skiessi, which he is about to replace with something better, maybe. How can I change the favourite editor of git?