Skip to content

Set PR_NUMBER when PR is created#114

Merged
ChristophShyper merged 1 commit intodevops-infra:bugfix/pr-numberfrom GlacierWalrus:masterFeb 12, 2023

Commits