Hello gnulib, I messed up. I didn't notice my tree had commits in it that I did not mean to publish yet. Also, I generated a merge commit unwanted.
First, a big sorry for that. Then, what do I do? Just revert each patch I did not mean to commit just yet, commit the reverts and push them? Thanks, Ralf