A PR, or pull request, is a workflow feature in github/github-like source hosting systems. You can read about it here: https://help.github.com/articles/creating-a-pull-request/
A PR, or pull request, is a workflow feature in github/github-like source hosting systems. You can read about it here: https://help.github.com/articles/creating-a-pull-request/