Add my github handle to mergify config#4821

Merged

dave-gantenbein merged 4 commits intoarmadaproject:masterfrom

sarhiri:add-sofia-gh-handle

Apr 10, 2026

Commits on Apr 7, 2026

Add my github handle to mergify config
sarhiri
committed

Commits on Apr 8, 2026

Merge branch 'master' into add-sofia-gh-handle
dejanzele
authored

Commits on Apr 9, 2026

Merge branch 'master' into add-sofia-gh-handle
dave-gantenbein
authored

Commits on Apr 10, 2026

Merge branch 'master' into add-sofia-gh-handle
richscott
authored