+ [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. 175041

Posted by Atlenohen in #github at 2019-10-14T23:29:30Z

oh
+ [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