Skip to content

Document empty repo workflow metadata#23

Merged
cbusillo merged 2 commits intomainfrom
chore/repo-workflow-empty-related
Apr 26, 2026
Merged

Document empty repo workflow metadata#23
cbusillo merged 2 commits intomainfrom
chore/repo-workflow-empty-related

Conversation

@cbusillo
Copy link
Copy Markdown
Owner

Summary

  • make empty related repository metadata explicit in the repo workflow config
  • avoid future workflow sessions needing to infer whether related repos or validation repos exist

Verification

  • git diff --check
  • JSON parse validation from editor tooling

@cbusillo cbusillo merged commit a277912 into main Apr 26, 2026
6 checks passed
@cbusillo cbusillo deleted the chore/repo-workflow-empty-related branch April 26, 2026 22:41
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant