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

[Daniel Stone]

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.

Cheers,
Daniel