Revert "no need for external repo pinging each build"

This reverts commit d1057c0b31d0ab08b1a120b3d5edb842c8ed2a72.