+ [2016-05-13T20:41:53Z] Zarthus but that requires you to write your own website
+ [2016-05-13T21:16:25Z] alimj OK. Would have been nice to be able to categorise repositories :-(
+ [2016-05-13T22:00:01Z] juackparrot what to do if github is very slow with git?

message no. 135412

Posted by milki in #github at 2016-05-13T00:01:06Z

yay?
+ [2016-05-14T02:22:36Z] nikio_ i uploaded libraaries to github by mistake now it shows up as 10 000 lines of code in my stats
+ [2016-05-14T02:22:39Z] nikio_ i hate it
+ [2016-05-14T02:23:12Z] Motoko Force push a corrected version?
+ [2016-05-14T02:23:47Z] nikio_ yeh but it was a long time ago
+ [2016-05-14T02:23:52Z] nikio_ in the commit history