Philip Munksgaard
08/13/2026, 9:44 AMJocelyn Beaudoin
08/13/2026, 3:01 PMgt submit && gh pr edit --title "$(git log -1 --pretty=%s)" --body "$(git log -1 --pretty=%b)") or edit it on the PR page. We already have a feature request open for this, and I've added your feedback to it.