Re: "If you're still seeing problems, please reopen." [Was: bug#25148:]

[Lars Ingebrigtsen]

Eli Zaretskii <address@hidden> writes:

>> Of course, if somebody wants to hit the "merge pull request" button
>> in Gitlab, they can do that, but for most smaller pull requests,
>> Gitlab would just email the patch (presumably) and we can apply it
>> locally on our machines before pushing to the repo, just like now.
>
> What you describe is not the PR workflow that people are used to.

The first part of the sentence does, I think?  Send a pull request, and
somebody else pushes a button in the web interface to merge it.  Which
Gitlab offers.

The latter part of that sentence is our current work flow, and is, of
course, not the pull request workflow that people are used to.

-- 
(domestic pets only, the antidote for overdose, milk.)
   bloggy blog: http://lars.ingebrigtsen.no