[2388] Update developer workflow for GitHub
Fixes #2388