[boost] Repeated super project commits

Subject: [boost] Repeated super project commits
From: Daniel James (dnljms_at_[hidden])
Date: 2017-06-10 17:51:00

Hi,

You might noticed that some of today's super project commits were
repeated. I was working on a change to do one commit per push event,
and it went a bit wrong. It turns out there was an existing bug, which
meant the script wasn't always updating the position in the event
queue. I fixed it while writing the new version, but assumed it was a
new bug that I'd introduced today. So when the new version started, it
replayed the events since the position was last updated.

I backed out the change and I'm going to try to make the script a bit
more robust before changing it again - even without the bug, a similar
thing could happen if someone manually updated a submodule in the
super project.

Because the commits were all in a single push, and the last commit was
correct, it shouldn't cause any real problems, but there are a few
wonky commits in the history, so sorry about that. Because of the way
the script worked, the bug only affects that batch of commits, older
commits are fine.

Daniel