message no. 180330
Posted by canton7 in #github at 2020-05-07T08:50:37Z
ldl, technically speaking, a pull request / merge request is a request to someone to pull / merge some work from a branch of yours. Various tools exist to help with that process: github has a UI for "submitting" a pull request, UI for notifying someone that they've been sent a pull request, UI to review it, a button to automatically merge it, etc.