Question: what is pr in github?
Answer: What is a Pull Request? From Github's Using Pull Requests Page. Pull requests let you tell others about changes you've pushed to a GitHub repository. Once a pull request is sent, interested parties can review the set of changes, discuss potential modifications, and even push follow-up commits if necessary.