Skip to content

Have renovate-bot label its PRs as it does with osv.dev#116

Merged
andrewpollock merged 1 commit intogoogle:mainfrom andrewpollock:label-renovate-prsJan 6, 2023

Commits

Commits on Jan 6, 2023