No changes listed for the past three days.
Does anybody have a script that can be run on local repos to provide the same information?
Darrell
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
Dne pá 31. ledna 2014 Timothy Pearson napsal(a):
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
I have a proposal for a new script :)
The primary difference is that the patches are referenced directly into the GIT => do not need separate files with patches, not need additional space for these files. To generate the page so just processing the output from: git submodule foreach "git log ..." (yes, there is a little magic due to multiline comments). On my elderly machine this takes 16 seconds.
A side effect is that each commit is in html a single line - it might be easy to add pagination option.
What do you think?
Slavek --
-
Darrell Anderson -
Slávek Banko -
Timothy Pearson