[PULL] drm-misc-next

[Emil Velikov]

On Tue, 6 Aug 2019 at 11:14, Daniel Stone <daniel at 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.

-Emil