+[2019-10-14T21:26:50Z]willthechillAH okay now it went through, I guess I just have to wait about 10 mins :-P +[2019-10-14T21:26:55Z]willthechillthanks anyway! :-) +[2019-10-14T21:39:01Z]AtlenohenI 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]nedbatAtlenohen: i wish they wouldn't label my tags "Releases" in the first place. +[2019-10-14T23:29:30Z]Atlenohenoh
Atlenohen: i wish they wouldn't label my tags "Releases" in the first place.
+[2019-10-15T08:53:19Z]neurehi +[2019-10-15T08:53:27Z]neureI just made a bad forced push to PR +[2019-10-15T08:53:40Z]neurehow do I undo that? +[2019-10-15T09:23:53Z]canton7neure, with another force-push +[2019-10-15T09:38:41Z]neureI dont have the local working copy