I've seen "PR" quite a few times, and we should be intentional about it. If we use "PR" we need to be clear about defining it, but I don't think it really intersects with the learning goals of this course, so I think we should stick to "pull request" across the entire course.
We also say "WIP" without defining specifically that that stands for "work in progress", and why that should block a PR from being merged.
If I find other abbreviations that aren't addressed, I'll post them here.
I've seen "PR" quite a few times, and we should be intentional about it. If we use "PR" we need to be clear about defining it, but I don't think it really intersects with the learning goals of this course, so I think we should stick to "pull request" across the entire course.
We also say "WIP" without defining specifically that that stands for "work in progress", and why that should block a PR from being merged.
If I find other abbreviations that aren't addressed, I'll post them here.