In practice it isn't that much work; a shell script and wget could pull
the data out. It's some IS work but I will talk it over with James.
Making this efficiently available through the API is not a short-term
goal, though sure, knowing what we need to add to them is never a bad
idea.
In practice it isn't that much work; a shell script and wget could pull
the data out. It's some IS work but I will talk it over with James.
Making this efficiently available through the API is not a short-term
goal, though sure, knowing what we need to add to them is never a bad
idea.