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: $ 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@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/dri-devel
