Skip to content

Conversation

@zhouop0
Copy link
Contributor

@zhouop0 zhouop0 commented Aug 8, 2025

Closes: #XXX

Description


For contributor use:

  • Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
  • Wrote unit
  • Updated relevant documentation (docs/)
  • Added relevant godoc comments.
  • Added a relevant changelog entry to the Unreleased section in CHANGELOG.md
  • Re-reviewed Files changed in the Github PR explorer

For admin use:

  • Added appropriate labels to PR (ex. WIP, R4R, docs, etc)
  • Reviewers assigned
  • Squashed all commits, uses message "Merge pull request #XYZ: [title]"

@zhouop0 zhouop0 changed the title Add move action from front Add record move action from front Aug 8, 2025
@zhouop0 zhouop0 merged commit bc9e57e into main Aug 13, 2025
4 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