Use the correct repository for cloning when doing a push build or a pull-request. Only do one fuzzer build!