Dne 26. 09. 19 v 15:10 Pierre-Yves Chibon napsal(a):
On Thu, Sep 26, 2019 at 03:01:25PM +0200, Remi Collet wrote:
> Le 26/09/2019 à 11:36, Pierre-Yves Chibon a écrit :
>> Here is what the vision we came to and that we would like to discuss:
>>
>> ○ Every changes to dist-git is done via pull-requests
> IMHO Have to stay optional, making this mandatory being a terrible headache.
What makes it a headache? What can we do to not have this be a terrible
headache?
I use PRs in Pagure a lot. And the Rebase/Merge functionality is broken most of the time.
For months.
Fortunately it is still a git, so when the team agrees, we can merge and push PR
manually.
Having PR a mandatory thing (relying on Pagure to do the merge) would be PITA for me.
Generally, I like it. I like PRs. But I like more then one way to do anything as well. If
one way is broken, I can use
the other way, so it will not block me.
--
Miroslav Suchy, RHCA
Red Hat, Associate Manager ABRT/Copr, #brno, #fedora-buildsys