Skip to content

Feat: Update repo interface to use owner/repo instead of repo id - #9

Merged
tjdammann merged 2 commits into
mainfrom
tjdammann/remove-user-facing-repo-ids
Feb 12, 2026
Merged

Feat: Update repo interface to use owner/repo instead of repo id#9
tjdammann merged 2 commits into
mainfrom
tjdammann/remove-user-facing-repo-ids

Feat: Resolve repos when only repo name is passed

ef1c9f3
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar