Skip to content

Conversation

@trask
Copy link
Member

@trask trask commented Jun 10, 2025

No description provided.

@danielgblanco
Copy link
Contributor

I'm merging this, as it fixes issues in other PRs.

@danielgblanco danielgblanco added this pull request to the merge queue Jun 11, 2025
Merged via the queue into open-telemetry:main with commit bcf6ac5 Jun 11, 2025
5 checks passed
austinlparker pushed a commit to austinlparker/community that referenced this pull request Jun 18, 2025
* Bring back github link checking

* sync with spec config

* fix broken links

* Exclude false positive

* faster

* GITHUB_TOKEN
@trask trask deleted the links branch October 20, 2025 17:39
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