Update pull request title when issue is completed
Update pull request title when issue is completed
Issues and PRs go out of sync across the repo when issues are set to done. Keep PR titles matched to completion so reviewers spot ready work before the next build.