Skip to content

docs: correct name of osv-offline - #42486

Merged
jamietanna merged 1 commit into
mainfrom
jamietanna-patch-2
Apr 15, 2026
Merged

docs: correct name of osv-offline#42486
jamietanna merged 1 commit into
mainfrom
jamietanna-patch-2

Conversation

@jamietanna

Copy link
Copy Markdown
Contributor

Changes

Context

Please select one of the following:

  • This closes an existing Issue, Closes: #
  • This doesn't close an Issue, but I accept the risk that this PR may be closed if maintainers disagree with its opening or implementation

AI assistance disclosure

Did you use AI tools to create any part of this pull request?

Please select one option and, if yes, briefly describe how AI was used (e.g., code, tests, docs) and which tool(s) you used.

  • No — I did not use AI for this contribution.
  • Yes — minimal assistance (e.g., IDE autocomplete, small code completions, grammar fixes).
  • Yes — substantive assistance (AI-generated non‑trivial portions of code, tests, or documentation).
  • Yes — other (please describe):

Documentation (please check one with an [x])

  • I have updated the documentation, or
  • No documentation update is required

How I've tested my work (please select one)

I have verified these changes via:

  • Code inspection only, or
  • Newly added/modified unit tests, or
  • No unit tests, but ran on a real repository, or
  • Both unit tests + ran on a real repository

The public repository:

@github-actions
github-actions Bot requested a review from viceice April 8, 2026 16:43
@jamietanna
jamietanna enabled auto-merge April 9, 2026 08:35
@jamietanna
jamietanna added this pull request to the merge queue Apr 15, 2026
Merged via the queue into main with commit 0fbc124 Apr 15, 2026
@jamietanna
jamietanna deleted the jamietanna-patch-2 branch April 15, 2026 09:42
@github-actions

Copy link
Copy Markdown
Contributor

🎉 This PR is included in version 43.121.0 🎉

The release is available on:

Your semantic-release bot 📦🚀

@github-actions github-actions Bot locked as resolved and limited conversation to collaborators May 16, 2026
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

2 participants