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
_______________________________________________
devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/
List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines
List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
