This reverts commit ec9d80ec, since we are currently seeing tons of CI jobs being triggered spuriously.