Re: [PULL] drm-misc-next

On Tue, 06 Aug 2019, Emil Velikov emil.l.velikov@gmail.com wrote:

On Tue, 6 Aug 2019 at 11:14, Daniel Stone daniel@fooishbar.org wrote:

...

The idea I had a few weeks ago was to have dim use 'git push --push-option fdo.pushedWithDim=this-was-pushed-with-dim-and-not-manually', then have the hooks on the server side check for that option and refuse any direct pushes. (Or at least, if people are pushing directly, they have to _really_ try to be doing it, and can't do it by accident.)

Let me try and write a DIM patch for that.

Ooops, I was wondering how this would all work out, and ended up writing the patch [1].

BR, Jani.

[1] http://marc.info/?i=20190806104630.14675-1-jani.nikula@intel.com