Skip to content

Update header links#1442

Merged
dgarcia360 merged 1 commit intomasterfrom
replace-header-links
Jun 24, 2025
Merged

Update header links#1442
dgarcia360 merged 1 commit intomasterfrom
replace-header-links

Conversation

@dgarcia360
Copy link
Collaborator

Closes #1438

@dgarcia360 dgarcia360 requested a review from annastuchlik June 22, 2025 16:54
Copy link
Collaborator

@annastuchlik annastuchlik left a comment

Choose a reason for hiding this comment

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

LGTM

@dgarcia360 dgarcia360 merged commit e0534af into master Jun 24, 2025
4 checks passed
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.

links in the top navigation bar are redirected to Open Source

2 participants