Skip to content

chore: fix criteo-fork/openconfig-public - #59

Merged
kpetremann merged 1 commit into
criteo:mainfrom
kpetremann:main
Aug 28, 2025
Merged

chore: fix criteo-fork/openconfig-public#59
kpetremann merged 1 commit into
criteo:mainfrom
kpetremann:main

Conversation

@kpetremann

Copy link
Copy Markdown
Member

My fork was used by mistake.
There is no openconfig changes, as the commit id is the one from the PR of my commit.

My fork was used by mistake.
There is no openconfig changes, as the commit id is the one from the PR
of my commit.
@kpetremann
kpetremann merged commit ccc8fa7 into criteo:main Aug 28, 2025
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.

2 participants