fixed github-publish by adding leading-.dot-files to the copy-phase