Already taken care. Of clearly I did a poor job of running git push :)