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@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.