+ [2014-08-02T22:58:17Z] Corgi It's been 20 mins.
+ [2014-08-02T23:28:47Z] offby1 I always blame that sort of thing on the CDN
+ [2014-08-02T23:32:45Z] alindeman Corgi: Not sure why, but your page didn't get built. I sent a job off manually
+ [2014-08-02T23:33:14Z] Corgi alindeman, Thanks!
+ [2014-08-02T23:39:51Z] mithro Hi! Where can I log feature requests for github?

message no. 35146

Posted by Nevik in #github at 2014-08-02T05:16:10Z

(generally, db files wouldnt be a repo at all)
+ [2014-08-03T00:50:28Z] milki mithro: !sgc
+ [2014-08-03T00:50:28Z] gitinfo mithro: For bug reports, feature requests, suggestions for improvement, or specific problems with an individual repo (or gist, etc.), please contact support via support@github.com or https://github.com/support
+ [2014-08-03T00:50:51Z] mithro milki: that is what I ended up doing
+ [2014-08-03T00:51:07Z] mithro milki: was hoping there was a github issues repository which I could log it on
+ [2014-08-03T00:55:06Z] milki they probably have their own internal non-public thign