git fetch && \
  git checkout ghci/backport/3856-to-3.33 && \
  git reset --hard HEAD^ && \
  git cherry-pick 6e25be59e8ae63077793c0f12f8ee98c5e013cbd

git add <file> && \
  git cherry-pick --continue

git push origin ghci/backport/3856-to-3.33 --force