[ISSUE #19981] use github user with access to push on master#21345

Merged

erohmensing merged 4 commits intomasterfrom issue-19981_set-user-with-access-to-push-on-master

Jan 14, 2023

+1

Commits on Jan 12, 2023

[ISSUE #19981 ] use github user with access to push on master
maxi297
committed

Commits on Jan 13, 2023

Commits on Jan 14, 2023

Merge branch 'master' into issue-19981_set-user-with-access-to-push-on-master
erohmensing
authored