We should have a way to trigger releases automatically on a new Github release. Ideally we'd use `repository_dispatch` but it's a bit awkward to use.