BenTheElder: improve repo tooling

JobBuild
805
08-22 23:56
pull-kind-build 1164798698106916865 1164758937317150721 1164692998684938241 1164690989273583619 1164689731137572866 1164687713278889986
pull-kind-verify 1164798698106916864 1164758937312956416 1164692998680743941 1164690989273583617 1164689731091435521 1164687713283084288