Skip to content

chore: reverts #722 - #739

Merged
Philip Gichuhi (Ndiritu) merged 1 commit into
masterfrom
fix/unpin-hidi
Dec 30, 2024
Merged

chore: reverts #722#739
Philip Gichuhi (Ndiritu) merged 1 commit into
masterfrom
fix/unpin-hidi

Conversation

@baywet

Copy link
Copy Markdown
Member

reverts #722

Signed-off-by: Vincent Biret <vibiret@microsoft.com>
@Ndiritu
Philip Gichuhi (Ndiritu) merged commit 175e7ca into master Dec 30, 2024
@Ndiritu
Philip Gichuhi (Ndiritu) deleted the fix/unpin-hidi branch December 30, 2024 10:40
@baywet

Copy link
Copy Markdown
Member Author

Philip Gichuhi (@Ndiritu) Sorry, I should have mentioned here that this depends on those to be merged and releases first, otherwise we're going to see regressions:

Would you mind please:

  • reverting this one
  • creating a new PR (this one effectively) and indicate the dependency clearly

@andrueastman

Copy link
Copy Markdown
Contributor

PR reverted in #744

@Ndiritu
Philip Gichuhi (Ndiritu) restored the fix/unpin-hidi branch January 2, 2025 08:37
@Ndiritu

Copy link
Copy Markdown
Contributor

re-created this PR with the checklist #745

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