Message-ID: From: "vlsi (@vlsi)" To: "pgjdbc/pgjdbc" Date: Tue, 01 Jul 2025 10:34:09 +0000 Subject: Re: [pgjdbc/pgjdbc] PR #3701: chore: add GitHub Actions workflow for generating release PGP key In-Reply-To: References: List-Id: X-GitHub-Author-Login: vlsi X-GitHub-Comment-Id: 3023292790 X-GitHub-Comment-Type: issue_comment X-GitHub-Issue: 3701 X-GitHub-Repo: pgjdbc/pgjdbc X-GitHub-Type: comment X-GitHub-Url: https://github.com/pgjdbc/pgjdbc/pull/3701#issuecomment-3023292790 Content-Type: text/plain; charset=utf-8 I did not intend creating a new branch in pgjdbc/pgjdbc though.