After GitLab and DockerHub, it looks like we're also going to need to ask for open source sponsorship to Heroku (which is where coqbot is hosted): https://blog.heroku.com/next-chapter
Though, it's likely that the cost of running it would actually be affordable.
Should we think about switching to another service provider?
I'm open to that, but my experience with Heroku has been good, and I am used to the associated monitoring tools, so I wouldn't drive that change (if we can stay on Heroku).
@Théo Zimmermann FWIW, I saw this tweet recently:
"In the future all software will be open source" Article original de @andrestaltz qui postule que tout logiciel non libre connaîtra un jour ou l'autre une alternative libre, et de calculer alors son "TTOSA" Time Till Open Source Alternative https://staltz.com/time-till-open-source-alternative.html https://twitter.com/framaka/status/1563923029067005952/photo/1- Alexis Kauffmann (@framaka)
which mentions Dokku, which seems to be an open-source platform making any regular VM into an Heroku-compliant PaaS:
Powered by Docker, you can install Dokku on any hardware. Use it on inexpensive cloud providers. (…)
Once it's set up on a host, you can push Heroku-compatible applications to it via Git. They'll build using Heroku buildpacks and then run in isolated containers. The end result is your own, single-host version of Heroku.
Thanks, but we are already pretty Heroku-independent in terms of infrastructure. What we deploy on Heroku is a Docker image that could already theoretically run anywhere. Our use of Heroku is just to have a hosting service that we do not need to manage, with logging facilities, where we can automatically restart the bot if it crashes, if we deploy a new version, if we change an environment variable...
An update about this:
FWIW, we've received credits that should allow us to keep running for 4 more months, while they examine further our application.
Any updates on this?
Sorry, I should have posted that they have granted us a sponsorship, so there is nothing to worry about regarding the coqbot hosting.
Last updated: May 28 2023 at 18:29 UTC