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. Cheers, Daniel _______________________________________________ dim-tools mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
