ci: only push docs from the libgit2/libgit2 repo#5316

ethomson merged 1 commit intomasterlibgit2/libgit2:masterfrom

ethomson/publish_docs_on_masterlibgit2/libgit2:ethomson/publish_docs_on_masterCopy head branch name to clipboard