github workflow checkout multiple repos