Hi Jim, Karl Berry wrote: > Weirdly, it seemed to go ahead and push the three files that had no > error, while not pushing the erroneous one. Partial commits going to the > server seems like a bad outcome?
Indeed. A commit should be either accepted entirely or rejected entirely. Can you please show us the entire set of hooks that are installed on git.savannah.gnu.org for gnulib? Bruno
