On Wed, 12 Sep 2018, Daniel Stone <[email protected]> wrote: > On Wed, 12 Sep 2018 at 14:23, Jani Nikula <[email protected]> wrote: >> On Tue, 11 Sep 2018, Daniel Vetter <[email protected]> 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. BR, Jani. -- Jani Nikula, Intel Open Source Graphics Center _______________________________________________ dim-tools mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
