[PATCH] dim: set magic fdo cookie push-option on git push

[Jani Nikula]

On Tue, 06 Aug 2019, Daniel Stone <daniel at fooishbar.org> wrote:
> Hi,
>
> On Tue, 6 Aug 2019 at 15:00, Daniel Vetter <daniel.vetter at ffwll.ch> 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
> dim-tools at lists.freedesktop.org
> https://lists.freedesktop.org/mailman/listinfo/dim-tools

-- 
Jani Nikula, Intel Open Source Graphics Center