On Tue, May 22, 2018 at 09:27:07AM +0100, Russell King wrote: > On Tue, May 22, 2018 at 10:53:49AM +1000, Dave Airlie wrote: > > Sorry I missed this, just fell between the cracks, > > > > Any reason you can't/don't use git pull-request to generate pulls? we > > have some scripts that parse pulls for tracking now, but this pull > > didn't get into the system as it doesn't use the template. > > I've never used git pull-request, and it doesn't seem to be part of > the git installation I have: The command is called request-pull. Our scripting wraps it in pull-request, which I guess caused the confusion. -Daniel > > $ git pull-request --help > No manual entry for gitpull-request > $ git pull-request > git: 'pull-request' is not a git command. See 'git --help'. > $ git --version > git version 2.7.4 > > -- > Russell King > _______________________________________________ > dri-devel mailing list > dri-devel@xxxxxxxxxxxxxxxxxxxxx > https://lists.freedesktop.org/mailman/listinfo/dri-devel -- Daniel Vetter Software Engineer, Intel Corporation http://blog.ffwll.ch _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel
