$ git pull --rebase
$ git push
Thanks. I also brought in the new versions that Paul updated.
Despite hopefully having been fixed in two ways, the push failed again,
this time with
42: new blank line at EOF.
remote: error: hook declined to update refs/heads/master
To ssh://git.sv.gnu.org/srv/git/gnulib
! [remote rejected] master -> master (hook declined)
error: failed to push some refs to 'ssh://git.sv.gnu.org/srv/git/gnulib'
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? Didn't that go out with cvs? Oh well,
whatever.
Anyway, I deleted the blank line that it was so concerned about, both in
gnulib and /gd/gnuorg, and did it again, and finally everything went
through.
So much trouble, all for nothing, but at least it's done. Until next time.
Thanks,
Karl
