what is a pull request

what is a

pull request

It is the process of submitting changes for
review on GitHub
On GitLab, this process is called merge
request

#010

@jtemporal