Aaron Meurer

I have no idea how to fix it. I looked at the code to see what vr/isearch is doing. I guess it's just an `interactive` function that mimics isearch? How...

This sounds reasonable. Based on the code comments, the workarounds there didn't work because they used non-deterministic scatter. But if those workarounds you referenced don't have that issue, we can...

There are also Heroku alternatives https://twitter.com/jacobian/status/1562833339345936385. It might be just as much work to move to them as to GitHub Actions, though, so if we are going to move, IMO...

Heroku has graciously granted us credits through January with their open source credits program, but they have told me that the program will not be extended further than that, so...

Looks like render does have a free tier https://render.com/docs/free. Here is their Heroku migration guide https://render.com/docs/migrate-from-heroku.

Trying render at #102, but currently it isn't working. I'm also trying replit, which has a Heroku import (https://replit.com/@asmeurer/sympy-bot). I set up the secrets and the webhook for replit, but...

OK, I got replit to work (it wasn't obvious from the interface, but you have to manually restart it when you add an environment variable). So the bot should be...

Just opened a PR (https://github.com/sympy/sympy/pull/24361) and the bot didn't show up until I fiddled with it. So that's not a good sign for replit. Meanwhile, Heroku support isn't being particularly...

Got Heroku running again. I have disabled the replit webhook, but it can be reenabled to make it work again (you may also have to go to https://replit.com/@sympy/sympy-bot and manually...

We can configure some of these so that the link checker will ignore them. https://www.sphinx-doc.org/en/master/usage/configuration.html#options-for-the-linkcheck-builder