fix subsequent actions on automated PR#3574

Merged

thoniTUB merged 2 commits intomasterfrom fix/trigger-actions-on-mr-commit

Sep 25, 2024

+5-2

Commits on Sep 25, 2024

use REPO_SCOPED_TOKEN instead of GITHUB_TOKEN to trigger actions on MR commit
thoniTUB
committed
use REPO_SCOPED_TOKEN for checkout, so that the push uses it as well
thoniTUB
committed