@witty-crayon-22786 yes, we do have access to github, this was immediately preceeded by a

git pull

from the pants repo. We're both getting it consistently