On Wed, Sep 12, 2018 at 4:01 PM, Daniel Stone <dan...@fooishbar.org> wrote: > On Wed, 12 Sep 2018 at 14:53, Jani Nikula <jani.nik...@linux.intel.com> wrote: >> On Wed, 12 Sep 2018, Daniel Stone <dan...@fooishbar.org> wrote: >> > On Wed, 12 Sep 2018 at 14:23, Jani Nikula <jani.nik...@linux.intel.com> >> > wrote: >> >> On Tue, 11 Sep 2018, Daniel Vetter <daniel.vet...@ffwll.ch> wrote: >> >> > No one seems to have screamed too badly, I guess we can push this? Can >> >> > I haz ack plz? >> >> >> >> Provided you ensure this won't end up in the old repo, so people still >> >> using that will migrate too, >> > >> > 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. Thanks, Daniel -- Daniel Vetter Software Engineer, Intel Corporation +41 (0) 79 365 57 48 - http://blog.ffwll.ch _______________________________________________ dim-tools mailing list dim-tools@lists.freedesktop.org https://lists.freedesktop.org/mailman/listinfo/dim-tools
