Skip to content

Manual cherry-pick needed: feat: enhance documentation structure with new icons for dropdowns #6

@github-actions

Description

@github-actions

Manual Cherry-pick Required

The automatic cherry-pick of #5 to main failed due to merge conflicts.

Original PR

Manual Cherry-pick Instructions

# Checkout main branch
git checkout main
git pull origin main

# Create a new branch for the cherry-pick
git checkout -b cherry-pick-pr-5

# Cherry-pick the commit (use -m 1 for merge commits)
git cherry-pick 08d955ab788df2aacfcdc65a2e40e26864147c23
# OR for merge commits:
# git cherry-pick -m 1 08d955ab788df2aacfcdc65a2e40e26864147c23

# Resolve conflicts manually, then:
git add .
git cherry-pick --continue

# Push and create PR
git push origin cherry-pick-pr-5
gh pr create --base main --title "Cherry-pick: feat: enhance documentation structure with new icons for dropdowns"

Decision Required

  • Cherry-pick is needed - resolve conflicts and apply
  • Cherry-pick is NOT needed - close this issue

This issue was automatically created by the cherry-pick workflow.

Metadata

Metadata

Type

No type

Projects

No projects

Milestone

No milestone

Relationships

None yet

Development

No branches or pull requests

Issue actions