Hi, On Wed, 7 Aug 2019 at 10:37, Jani Nikula <[email protected]> wrote: > On Tue, 06 Aug 2019, Daniel Stone <[email protected]> wrote: > > On Tue, 6 Aug 2019 at 15:00, Daniel Vetter <[email protected]> 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 _______________________________________________ dim-tools mailing list [email protected] https://lists.freedesktop.org/mailman/listinfo/dim-tools
