Skip to content

feat: use only github_repository_names and automatically fetch IDs to be used in federation conditions#11

Merged
Monska85 merged 1 commit into
mainfrom
feat/github_repository_names_and_ids
Mar 4, 2026
Merged

feat: use only github_repository_names and automatically fetch IDs to be used in federation conditions#11
Monska85 merged 1 commit into
mainfrom
feat/github_repository_names_and_ids

Conversation

@Monska85

@Monska85 Monska85 commented Mar 4, 2026

Copy link
Copy Markdown
Contributor

No description provided.

@Monska85 Monska85 force-pushed the feat/github_repository_names_and_ids branch 2 times, most recently from b41dbfb to fe7f021 Compare March 4, 2026 15:20
@Monska85 Monska85 force-pushed the feat/github_repository_names_and_ids branch from fe7f021 to cad9885 Compare March 4, 2026 15:23
@Monska85 Monska85 merged commit 3e40224 into main Mar 4, 2026
1 check passed
@Monska85 Monska85 deleted the feat/github_repository_names_and_ids branch March 4, 2026 15:25
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