Push celebration

I think this is working. As long as the github full commit message URLs are used...