e37d20a
copr-be-dev: run the ping script on devel with the same cadence That script is a no-op, so it doesn't hurt the performance nor the cloud budget.