On 6/15/18, Chad Perrin <c...@apotheon.net> wrote: > > This would not technically be a "pull request". It would be a "merge > request".
Good point. It should not be called "pull-request" as pulling does not come into play. On the other hand, it is not necessary a request to merge. Often a merge is implied, but the reviewer instead might prefer to accept the changes but leave them on a branch. In that case it might be called "push-request". Once the branch gets pushed, then merging can come later. -- D. Richard Hipp d...@sqlite.org _______________________________________________ fossil-users mailing list fossil-users@lists.fossil-scm.org http://lists.fossil-scm.org:8080/cgi-bin/mailman/listinfo/fossil-users
