+ [2019-10-14T21:26:50Z] willthechill AH okay now it went through, I guess I just have to wait about 10 mins :-P
+ [2019-10-14T21:39:01Z] Atlenohen I think "Releases" should be moved to the upper menu bar, I think it feels out of place that it is inside CODE alongside tags, commits, I know it technically may make sense, but from user experience it's not so handy and quickly noticable location
+ [2019-10-14T23:24:32Z] nedbat Atlenohen: i wish they wouldn't label my tags "Releases" in the first place.

message no. 175035

Posted by willthechill in #github at 2019-10-14T21:20:01Z

about 5 mins ago I pushed an HTML file update to perl11.org which is a simple redirect from perl11.github.com, but my changes are still not visible on the public perl11.org website, do I need to do something to force the update to appear?
+ [2019-10-15T08:53:19Z] neure hi
+ [2019-10-15T08:53:27Z] neure I just made a bad forced push to PR
+ [2019-10-15T08:53:40Z] neure how do I undo that?
+ [2019-10-15T09:23:53Z] canton7 neure, with another force-push
+ [2019-10-15T09:38:41Z] neure I dont have the local working copy