Skip to content

Deploy to fly.io and Tigris.#82

Merged
NullHypothesis merged 1 commit into
masterfrom
deploy-via-fly
Jun 16, 2026
Merged

Deploy to fly.io and Tigris.#82
NullHypothesis merged 1 commit into
masterfrom
deploy-via-fly

Conversation

@NullHypothesis

@NullHypothesis NullHypothesis commented Jun 16, 2026

Copy link
Copy Markdown
Owner

So far, we've been deploying CensorBib to GitHub pages (the static HTML/JS) and my personal web server (for pdfs). This worked okay but I'm not interested in hosting these pdfs myself anymore and the GitHub pages setup is a bit janky.

This commit deploys CensorBib to fly.io and hosts papers on Tigris. Fly.io gives us more control over deployment and availability regions whereas Tigris is a good fit for object storage. For now, I'm manually pushing pdfs to Tigris but I'd like to automate this too some time soon.

So far, we've been deploying CensorBib to GitHub pages (the static
HTML/JS) and my personal web server (for pdfs). This worked okay but I'm
not interested in hosting these pdfs myself anymore and the GitHub pages
setup is a bit janky.

This commit deploys CensorBib to fly.io and hosts papers on Tigris.
Fly.io gives us more control over deployment and availability regions
whereas Tigris is a good fit for object storage. For now, I'm manually
pushing pdfs to Tigris but I'd like to automate this too some time soon.
@NullHypothesis NullHypothesis changed the title Deploy via fly Deploy to fly.io and Tigris. Jun 16, 2026
@NullHypothesis NullHypothesis marked this pull request as ready for review June 16, 2026 20:42
@NullHypothesis NullHypothesis merged commit 129e3d0 into master Jun 16, 2026
1 check passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant