Skip to content

Fixing how repo is filtered in cross repo environment - #53

Merged
dejo1307 merged 1 commit into
mainfrom
fix_cross_repo_per_repo_filtering
Jun 28, 2026
Merged

Fixing how repo is filtered in cross repo environment#53
dejo1307 merged 1 commit into
mainfrom
fix_cross_repo_per_repo_filtering

Conversation

@dejo1307

Copy link
Copy Markdown
Collaborator

No description provided.

@dejo1307
dejo1307 merged commit 4c32e8d into main Jun 28, 2026
4 checks passed
@dejo1307
dejo1307 deleted the fix_cross_repo_per_repo_filtering branch July 18, 2026 07:32
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