+ [5 years ago] willthechill AH okay now it went through, I guess I just have to wait about 10 mins :-P
+ [5 years ago] 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
+ [5 years ago] 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?
+ [5 years ago] neure I just made a bad forced push to PR
+ [5 years ago] neure how do I undo that?
+ [5 years ago] canton7 neure, with another force-push
+ [5 years ago] neure I dont have the local working copy