Skip to content

Comments

Date filtering repository retrieve provider#926

Merged
TipzCM merged 15 commits intomasterfrom
dateFilteringRepositoryRetrieveProvider
Feb 20, 2026
Merged

Date filtering repository retrieve provider#926
TipzCM merged 15 commits intomasterfrom
dateFilteringRepositoryRetrieveProvider

Conversation

@TipzCM
Copy link
Contributor

@TipzCM TipzCM commented Feb 19, 2026

  • updated resource matcher and baseretrieveprovider to support date filtering
  • added tests

@github-actions
Copy link

github-actions bot commented Feb 19, 2026

Formatting check succeeded!

@TipzCM TipzCM enabled auto-merge (squash) February 20, 2026 15:02
@sonarqubecloud
Copy link

@TipzCM TipzCM merged commit 77e91b7 into master Feb 20, 2026
9 checks passed
@TipzCM TipzCM deleted the dateFilteringRepositoryRetrieveProvider branch February 20, 2026 15:26
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.

2 participants