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.
I pushed the patch, and subsequently reverted because: fatal: the receiving end does not support push options fatal: The remote end hung up unexpectedly Daniel, I suspect this requires a git update on the server side. BR, Jani. -- Jani Nikula, Intel Open Source Graphics Center _______________________________________________ dim-tools mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
