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. -Emil _______________________________________________ Intel-gfx mailing list Intel-gfx@xxxxxxxxxxxxxxxxxxxxx https://lists.freedesktop.org/mailman/listinfo/intel-gfx