I've been trying to remember how to create a pull request for an issue, and working from the writeup at https://api.backdropcms.org/documentation/contribute-to-backdrop-core#pu.... It has this line:
- Always cross-link the pull request and the matching issue.
What does that mean?
Also, further down, it says "If you've made a pull request that needs cleaning up, it's easy to solve this problem by deleting the pull request, fixing the commits locally, and then making a new pull request." Does "deleting the pull request" mean closing it? There doesn't seem to be a way to delete them on GitHub.