Skip to content

Conversation

@jaagut
Copy link
Member

@jaagut jaagut commented Jan 22, 2026

Summary

Proposed changes

Related issues

Checklist

  • Run just build
  • Write documentation
  • Test on your machine
  • Test on the robot
  • Create issues for future work
  • Triage this PR and label it

@github-project-automation github-project-automation bot moved this to 🆕 New in Software Jan 22, 2026
@jaagut jaagut moved this from 🆕 New to 👀 In review in Software Jan 22, 2026
@jaagut jaagut self-assigned this Jan 22, 2026
@jaagut jaagut added the dependencies Pull requests that update a dependency file label Jan 22, 2026
@Flova Flova merged commit 1f65f17 into main Jan 27, 2026
2 checks passed
@Flova Flova deleted the update_extension branch January 27, 2026 23:14
@github-project-automation github-project-automation bot moved this from 👀 In review to ✅ Done in Software Jan 27, 2026
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

dependencies Pull requests that update a dependency file

Projects

Status: ✅ Done

Development

Successfully merging this pull request may close these issues.

3 participants