see https://github.com/data-apis/array-api-extra/blob/main/renovate.json, https://github.com/data-apis/array-api-extra/issues/200
Activity
henryiii commentedon May 2, 2025
I'm happy to allow it, but I don't use it so would prefer someone to contribute it. See #463.
lucascolley commentedon May 2, 2025
oops, sorry, somehow missed that issue looking through the tracker. Feel free to close this as a duplicate!
henryiii commentedon May 2, 2025
Okay. I did briefly try, but renovate's config was quite complex and I didn't get very far. Happy to take reasonable contributions! ;)
henryiii commentedon May 2, 2025
I think that's the first time I've used the explicit "close as duplicate" feature.