pgjdbc/pgjdbc GitHub issues and pull requests (mirror)
help / color / mirror / Atom feedFrom: davecramer (@davecramer) <[email protected]>
To: pgjdbc/pgjdbc <[email protected]>
Subject: Re: [pgjdbc/pgjdbc] PR #3794: Update CONTRIBUTING.md
Date: Tue, 09 Sep 2025 21:47:18 +0000
Message-ID: <[email protected]> (raw)
In-Reply-To: <[email protected]>
References: <[email protected]>
> I think it's not running because of the path filter excluding docs-only changes:
>
> https://github.com/pgjdbc/pgjdbc/blob/b1c939fadc1df40eb09cc9a2d2ab08bc42b64e8d/.github/workflows/mai...
>
> But I guess it's marked as required at the repo level. So it doesn't consider the PR ready to go, but it will never actually try to run the (pointless) style check.
I figured as much.
view thread (4+ messages)
reply
Reply instructions:
You may reply publicly to this message via plain-text email
using any one of the following methods:
* Reply to all the recipients using the --to and --cc options:
reply via email
To: github://pgjdbc/pgjdbc
Cc: [email protected], [email protected]
Subject: Re: [pgjdbc/pgjdbc] PR #3794: Update CONTRIBUTING.md
In-Reply-To: <<[email protected]>>
* Save the following mbox file, import it into your mail client,
and reply-to-all from there: mbox
This inbox is served by agora; see mirroring instructions
for how to clone and mirror all data and code used for this inbox