+ [2016-05-26T22:54:55Z] EGreg The only thing I could think of is renaming Platform repo to Q and then back to Platfrorm. Would that do the trick?
+ [2016-05-26T22:54:58Z] EGreg Or is there a better way
+ [2016-05-26T22:55:59Z] Zarthus replace your tutorials to hard-link to the 'Platform' repo, you can't trust redirections of renamed repos forever
+ [2016-05-26T23:17:12Z] EGreg OKay but if I don't want to replace the VIDEO tutorial?
+ [2016-05-26T23:17:15Z] EGreg How would I do it for now?

message no. 136662

Posted by dj_ in #github at 2016-05-26T07:59:28Z

"One of our mostly harmless robots has suspicions about your xxx organization"
+ [2016-05-26T23:59:11Z] EGreg OKay but if I don't want to replace the VIDEO tutorial?
+ [2016-05-26T23:59:18Z] EGreg my tutorials still refer to "Q" repo
+ [2016-05-26T23:59:28Z] EGreg is there any way I can get them to be redirected to Platform repo instead of Platform-history?!?
+ [2016-05-26T23:59:38Z] EGreg If I rename Platform to Q and back, will this achieve the desired result with no bad side fx?
+ [2016-05-26T23:59:43Z] EGreg on github