Skip to content

Conversation

@JonatanAntoni
Copy link
Member

Fixes

Changes

Screenshots

Checklist

@JonatanAntoni JonatanAntoni force-pushed the pyocd branch 7 times, most recently from fd80166 to 393569f Compare February 20, 2025 16:39
@JonatanAntoni JonatanAntoni marked this pull request as ready for review February 20, 2025 16:58
@JonatanAntoni
Copy link
Member Author

Copy link
Collaborator

@jreineckearm jreineckearm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Nice work! Some comments, the one that mainly needs attention is the user-agent setting for tool download for this OSS repo.

Copy link
Collaborator

@jreineckearm jreineckearm left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Perfect! Thanks a lot for the quick work on this!
Works nicely now, also on my local Windows machine. Good to merge.

@jreineckearm jreineckearm merged commit 5af3621 into main Feb 21, 2025
8 checks passed
@jreineckearm jreineckearm deleted the pyocd branch February 21, 2025 14:11
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.

3 participants