fixed github-publish by adding leading-.dot-files to teh copy-phase
Merge branch 'fix-missing-leading-dot-files-in-github-publishing'
fixed github-publish by adding leading-.dot-files to teh copy-phase
Merge branch 'fix-missing-leading-dot-files-in-github-publishing'

Conflicts:
	scripts/publish-git-pages.sh