Kurt Zeilenga writes:
I'm not sure why his merge was needed. Likely I goofed. I think
was a no-op.
Ah. Well, we'll have more glitches I'm sure.
'gitk --all' or 'git log --graph' shows you did 'Update guide
Copyright/License handling' in one branch and 'Update configure' +
Update for git' in another. I.e. didn't pull the first before
committing/pushing the second.