On Tue, 06 Aug 2019, Emil Velikov <[email protected]> wrote: > On Tue, 6 Aug 2019 at 11:14, Daniel Stone <[email protected]> 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/[email protected] -- Jani Nikula, Intel Open Source Graphics Center _______________________________________________ dri-devel mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dri-devel
