Stream: coqbot devs & users

Topic: End of Heroku free plan.


view this post on Zulip Théo Zimmermann (Aug 25 2022 at 19:06):

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

view this post on Zulip Théo Zimmermann (Aug 25 2022 at 19:06):

Though, it's likely that the cost of running it would actually be affordable.

view this post on Zulip Ali Caglayan (Aug 25 2022 at 22:16):

Should we think about switching to another service provider?

view this post on Zulip Théo Zimmermann (Aug 26 2022 at 08:05):

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).

view this post on Zulip Erik Martin-Dorel (Aug 31 2022 at 21:48):

@Théo Zimmermann FWIW, I saw this tweet recently:

https://twitter.com/framaka/status/1563923029067005952

"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.

view this post on Zulip Théo Zimmermann (Sep 01 2022 at 07:13):

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...

view this post on Zulip Théo Zimmermann (Nov 22 2022 at 14:49):

An update about this:

view this post on Zulip Théo Zimmermann (Nov 29 2022 at 10:07):

FWIW, we've received credits that should allow us to keep running for 4 more months, while they examine further our application.

view this post on Zulip Jason Gross (Jan 23 2023 at 19:36):

Any updates on this?

view this post on Zulip Théo Zimmermann (Jan 24 2023 at 09:42):

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: Jan 31 2023 at 10:01 UTC