[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.

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