On Thu, Sep 26, 2019 at 01:22:03PM -0400, Robert Marcano via devel wrote: > On 9/26/19 12:57 PM, Ken Dreyer wrote: > > On Thu, Sep 26, 2019 at 7:11 AM Pierre-Yves Chibon <pingou@xxxxxxxxxxxx> wrote: > > > > > > 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? Can we fix/improve the tooling? > > > > One of the reasons I push directly to branches in Pagure instead of > > opening Pull Requests is that the workflow is too clunky and slow. I > > have to toggle between the browser and the console, make sure I have a > > Fedora Kerberos ticket, etc. > > GitLab support creating merge request from a git push: > > https://docs.gitlab.com/ce/user/project/merge_requests/#git-push-options > > Maybe something like this on Pagure could help alleviate the process. > Or we could just use GitLab because it's pretty good and has many orders of magnitude more developers and users. Let's not re-invent more wheels that others have already built and continue to polish. _______________________________________________ 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
