chore: Add a note in the PR welcome announcing the summer vacation#4774

Merged

tomkerkhove merged 2 commits intokedacore:mainfrom JorTurFer:add-note

Jul 5, 2023

+1-1

Commits on Jul 5, 2023

chore: Add a note in the PR welcome announcing the summer vacations
JorTurFer
committed
Update .github/workflows/pr-welcome.yml

JorTurFer
and
tomkerkhove
authored