[boost] No automatic super project commits at the moment.

Hi, Github is currently going through a DDOS attack, which is why the super project isn't getting updated for new commits. I imagine testers will also have problems running. Daniel