Boost logo

Boost :

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


Boost list run by bdawes at acm.org, gregod at cs.rpi.edu, cpdaniel at pacbell.net, john at johnmaddock.co.uk