Skip to content

Remove websocketpp patch (registry handles it)#13

Merged
clholgat merged 2 commits into
mainfrom
cholgate/remove-websocketpp-patch
May 7, 2026
Merged

Remove websocketpp patch (registry handles it)#13
clholgat merged 2 commits into
mainfrom
cholgate/remove-websocketpp-patch

Conversation

@clholgat

@clholgat clholgat commented May 7, 2026

Copy link
Copy Markdown
Collaborator

Summary

  • Remove single_version_override for websocketpp from MODULE.bazel
  • Delete third-party/patches/ (BUILD.bazel + websocketpp.patch)

The Valdi custom Bazel registry now includes a pre-patched websocketpp 0.8.2.bcr.3 with the -lrt fix. Consumers no longer need local patches — the registry overlay replaces the BUILD.bazel at fetch time.

Test plan

  • CI passes (websocketpp resolved from registry, not patched locally)

🤖 Generated with Claude Code

The Valdi custom Bazel registry now includes a pre-patched websocketpp
(0.8.2.bcr.3) with the -lrt fix. Consumers no longer need local patches.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@clholgat clholgat requested a review from gioneill May 7, 2026 16:43
Test against the actual release archive instead of main HEAD.

Co-Authored-By: Claude Opus 4.6 <noreply@anthropic.com>
@clholgat clholgat merged commit f615c57 into main May 7, 2026
2 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.

3 participants