Quote:
Originally Posted by plnyyanks
TBA can already link GitHub profiles to teams. Do you think that is good enough, or would it better to build an association between (team + year) and github repo(s)?
|
The latter is good (and you could pull much of that data from what I've already got on FIRSTwiki), but wouldn't meet the goal of 'grepcode for FRC code'.