Hello,
On 11/06/2014 07:47 PM, Karl Berry wrote:
My feedback is that instead of being a separate script that is mostly
the same, it seems like it would be better as an option.
Attached is an updated patch, this time adding "-G/--git" option to the
existing script 'build-aux/gnu-web-doc-update
I'd like to ask for your feedback regarding the attached script, which does
the same but pushes updates to the GIT repositories.
My feedback is that instead of being a separate script that is mostly
the same, it seems like it would be better as an option. Even better,
it seems like it would
