a33d7c4 ci: limit permissions for `differential-shellcheck`

Authored and Committed by jamacku a year ago
    ci: limit permissions for `differential-shellcheck`