On Tue, 06 Aug 2019, Daniel Stone <[email protected]> wrote: > Hi, > > On Tue, 6 Aug 2019 at 15:00, Daniel Vetter <[email protected]> wrote: >> Yeah, I can do that quick patch when you've pushed this one. Better to >> plug this process hole quickly. >> >> Daniel, I guess your fd.o server-side script will have some helpful >> reminder to please use dim, and if you do so, please upgrade? Just to >> avoid a pile of support queries. Maybe best to point at the >> getting-started html: >> >> https://drm.pages.freedesktop.org/maintainer-tools/getting-started.html > > I was planning to leave it for a couple of days before deploying the > hook. Partly to give people a little bit of time in which they could > just naturally upgrade anyway, and partly because I haven't actually > written the patch yet.
Perhaps it could just check for the push option and, for a grace period, just shout if it isn't set. BR, Jani. > > Cheers, > Daniel > _______________________________________________ > dim-tools mailing list > [email protected] > https://lists.freedesktop.org/mailman/listinfo/dim-tools -- Jani Nikula, Intel Open Source Graphics Center _______________________________________________ dim-tools mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
