Yes, this is why I didn't want to migrate without leaving a trace on github. The redirecting README on github is a good compromise, I think. Having said that,

Yes, this is why I didn't want to migrate without leaving a trace on github. The redirecting README on github is a good compromise, I think. Having said that, it may be worth thinking what is the price we may be paying as a community for this convenience, btw. MS Github is clearly already past the "embrace" phase, and well into the "extend" phase.