On Tue, 6 Aug 2019 at 11:14, Daniel Stone <dan...@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 _______________________________________________ dri-devel mailing list dri-devel@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/dri-devel
