setup github action workflow for publishing the docsite with Antora.#2

tyrsson wants to merge 1 commit into

php-db:mainphp-db/docs.php-db.dev:mainfrom

tyrsson:github-actiontyrsson/docs.php-db.dev:github-actionCopy head branch name to clipboard