Tools

postgresql.org → pg.ddx.io redirector

Click a postgr.es/m/… or postgresql.org/message-id/… link anywhere — a commit message, a bug tracker, a blog — and read the message on pg.ddx.io, threaded and cross-linked to the commits it produced. git.postgresql.org/gitweb links open here too, where commit search works.

What it redirects

• https://postgr.es/m/<message-id>
• https://www.postgresql.org/message-id/<message-id>, including the flat/ and raw/ views
• https://git.postgresql.org/gitweb/?p=<project>.git… for the five projects mirrored here: postgresql, pgjdbc, pgbouncer, pgpool2, psqlodbc

What it leaves alone

• Attachments (/message-id/attachment/…), which have no equivalent URL here.
• gitweb projects we do not mirror, such as pgadmin4 — you stay on git.postgresql.org rather than landing on a 404.

A Message-ID link does not say which list the message was posted to, so the redirector sends it to pg.ddx.io/id/<message-id>, which finds the right list. If we do not hold that message, /id/ sends you back to postgresql.org, so a link never dead-ends.

Install — userscript (Firefox, Chrome, Safari, Edge)

1. Install a userscript manager: Violentmonkey or Tampermonkey.
2. Open pg-ddx-redirect.user.js. The manager offers to install it.

The userscript updates itself from that same URL.

Install — Chrome extension (no userscript manager needed)

The extension redirects before the request leaves the browser, using Chrome's declarative rules. It has no code that runs on pages.

1. Download pg-ddx-redirect.tgz and unpack it: tar xzf pg-ddx-redirect.tgz
2. Open chrome://extensions and turn on Developer mode.
3. Load unpacked, and choose the pg-ddx-redirect folder.

Files

• pg-ddx-redirect.user.js — userscript
• manifest.json and rules.json — the extension
• pg-ddx-redirect.tgz — all three

Version 1.1.0. Each file is short enough to read in a minute; please do, before installing anything that runs in your browser.