Funny (or maybe not so funny) .... when a Github overview was presented at the WG chairs session at IETF 102, I asked if the IETF should be dependent on resources not under our control and if there was any way to replicate Github functionality on one of our own servers. The answer given was that Github is where the developers are, so that's where we should be as well, and it shouldn't be a problem as Github is now a major industry resource and dependency, and the new owners would be careful to maintain it as such ...
Cheers,
Andy
On Mon, Oct 22, 2018 at 11:08 AM Carsten Bormann <cabo@xxxxxxx> wrote:
The day of the Internet-Draft deadline is a day where a lot of last-minute coordination happens.
Much of it over github.
Today we have a nice demonstration of the consequences of a single point of failure: https://twitter.com/githubstatus
Yes, this can be worked around, but it does take some extra effort.
Personally, I’m not sure I will get all the drafts done in time for the deadline that I wanted to get done.
Grüße, Carsten