What is a pull request vs push?

Related questions

1. How do I resolve a pull request comment?
2. How do I pull git from GitHub?
3. Why is a pull request called a pull request?
4. What is the purpose of a pull request?
5. What's a pull request?
6. What is bitbucket pull request?
7. Can you update a pull request?
8. What causes merge conflicts?
9. How do I decline a pull request?
10. Can you delete a pull request?

Tags

1. #source
2. #repository
3. #changes
4. #those
5. #deriving
6. #cause
7. #history
8. #making
9. #request
10. #others
11. #requests
12. #local
13. #users
14. #pulling
15. #shared
16. #issues
17. #individual
18. #potentially
19. #ultimately