30 Apr
2010
30 Apr
'10
12:59 p.m.
On Fri, Apr 30, 2010 at 6:02 PM, Gwern Branwen
Github has a REST API for accessing data. Unfortunately it can't give you the wanted breakdown, but I would ask them for it. It is much simpler for you,
You mean ask for a new feature? (Just a one-time list is no good since I intend to repeat it regularly to pick up new repos, just like with patch-tag.)
Yes.
Any suggested method besides the obvious http://github.com/contact ?
No. -- J.