Just a quick FYI, for those people out there who thought that I was being unrealistic and/or alarmist: http://www.theregister.co.uk/2016/01/28/github_outage/ Regardless of what protocols (‘git’ or otherwise) the IETF decides to use for document management, we should be using our own servers for this - not those belonging a third party. We need to be confident that this is going to survive the next recession :-) :-( Ross.