On Mon, Feb 18, 2019 at 4:38 PM Sehrope Sarkuni <sehrope@jackdb.com> wrote:
The commit notification messages from GitHub recently changed their Message-ID format to include the repository and couple other items separated by slashes. Here's an example: pgjdbc/pgjdbc/push/refs/heads/master/7b52b0-4cd3f0@github.com
Pretty sure the messages are being archived correctly as they show up in the search list, but you can't access any of them via the mailing list web interface as all message specific URLs redirecting back to themselves:
That was indeed broken. I've pushed a fix now. Some of the existing messages are still cached with the incorrect redirect, but those will automatically start working once the cache expires. Non-cached ones already work now.
