On Wed, Sep 12, 2018 at 5:01 PM, Daniel Stone <[email protected]> wrote: > On Wed, 12 Sep 2018 at 15:21, Daniel Vetter <[email protected]> wrote: >> On Wed, Sep 12, 2018 at 4:01 PM, Daniel Stone <[email protected]> wrote: >> > On Wed, 12 Sep 2018 at 14:53, Jani Nikula <[email protected]> >> > wrote: >> >> On Wed, 12 Sep 2018, Daniel Stone <[email protected]> wrote: >> >> > I can stick a hard block on anyone ever pushing any new commits to the >> >> > old repo if that helps. >> >> >> >> Err, actually the old repo is still in active use. It's just the one >> >> branch that we used to have maintainer-tools on. >> > >> > Right, I keep forgetting that. But I can easily block pushes to >> > maintainer-tools. >> >> That would be perfect. To make sure no mixups: >> >> https://cgit.freedesktop.org/drm-tip maintainer-tools <- only that >> needs to be blocked. > > Good stuff. Done now.
Thanks. Pushed, but I forgot to add Jani's ack. Too much relying on dim catching all my silly mistakes I guess :-/ -Daniel -- Daniel Vetter Software Engineer, Intel Corporation +41 (0) 79 365 57 48 - http://blog.ffwll.ch _______________________________________________ dim-tools mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
