What is a "PR"?


#1

I’ve seen the term “PR” used in the context of packages and maybe even development of packages but didn’t see any obvious place I could find a definition of what it stands/is for. Phrases like “submit a PR” seem to be used in the context of packages and/or their development.


#2

I guess „pull request“ is what you‘re looking for.


#3

This might be useful

github documentation: pull requests


#4

Ah, of course. I was looking in the wrong argot for the definition.