Perhaps you are right.. I went back 2 commits and did a force push. Let's see if github accepts it