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(a)pingoured.fr>
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.