What is the difference between a Pull request and a Merge request? In GitHub, it's a Pull Request while i
