docs-refresh: add registry-based external docs deploy check#146

Kzoeps wants to merge 2 commits into

mainhypercerts-org/documentation:mainfrom

docs-refresh-registryhypercerts-org/documentation:docs-refresh-registryCopy head branch name to clipboard