They say you shouldn't explain your own jokes. My comment was that github is built around a tool that makes it really easy and efficient to import and merge histories. Namely git. It's amusing that the value-add portion of github, the web bits, suffer from problems like this, that a tool like git could conceivably be applied to.

Indeed they do say that. My – admittedly rather poor attempt at a – joke was that the ‘command line tool’ to which you were referring is indeed quite usable and user-friendly; as opposed to, say, ed scripts.