Fixing gh-push script

Now the phploc.txt is added to the repo.