tagbot + manual tag multidocs rebuild trigger#8

jack-champagne wants to merge 1 commit into

mainharmoniqs/PiccoloMultidocs.jl:mainfrom

bugfix/multidocs-tagbot-tag-triggersharmoniqs/PiccoloMultidocs.jl:bugfix/multidocs-tagbot-tag-triggersCopy head branch name to clipboard