31 Jan
2014
31 Jan
'14
5:05 a.m.
No changes listed for the past three days.
Sorry about that; it looks like one of the more recent changes prevented
the GIT trees from properly updating.
Does anybody have a script that can be run on local
repos to
provide the same information?
Unfortunately I don't; the patchset generation scripts for the website are
large, complex, and probably won't work outside their current environment.
To make matters worse, they take hours (not exaggerating!) to run and
require tens of GB of disk space.
Tim