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

[Daniel Stone]

Hi,

On Wed, 7 Aug 2019 at 10:37, Jani Nikula <jani.nikula at intel.com> wrote:
> On Tue, 06 Aug 2019, Daniel Stone <daniel at fooishbar.org> wrote:
> > On Tue, 6 Aug 2019 at 15:00, Daniel Vetter <daniel.vetter at ffwll.ch> wrote:
> >> 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.

Not an update per se, just a repo config option which inexplicably
isn't enabled by default. I discovered this whilst writing and testing
the hook, hence why I just now asked you on IRC for a list of the
repos that dim will try to push to ... :\

Cheers,
Daniel