Skip to content

feat: add source filter to url and git sources - #80

Merged
Hofer-Julian merged 1 commit into
prefix-dev:mainfrom
wolfv:add-url-source-filter
Jun 30, 2026
Merged

feat: add source filter to url and git sources#80
Hofer-Julian merged 1 commit into
prefix-dev:mainfrom
wolfv:add-url-source-filter

feat: add source filter to url and git sources

1c0677c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
py311
succeeded Jun 30, 2026 in 15s