Minor fixes for auto-approve workflows#44

Merged

tobiasKaminsky merged 3 commits intomainfrom

fix/auto-approve-sync-label

Feb 9, 2023

Commits on Feb 9, 2023

autoApproveSync: also run when PR labeled.
AlvaroBrey
committed
Workflows: rename auto approve workflows and jobs to differentiate them more easily
AlvaroBrey
committed
autoApproveSync: skip entire job if conditions are not met
AlvaroBrey
committed