On Tue, 06 Aug 2019, Emil Velikov <emil.l.velikov@xxxxxxxxx> wrote: > On Tue, 6 Aug 2019 at 11:14, Daniel Stone <daniel@xxxxxxxxxxxxx> 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@xxxxxxxxx -- Jani Nikula, Intel Open Source Graphics Center _______________________________________________ dri-devel mailing list dri-devel@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/dri-devel
