On 2025/03/27 20:59, Mikolaj Kucharski wrote:
> @@ -0,0 +1,13 @@
> +git -P diff 041d447a94e9dc4aead5aaed1296bdb7dffc5017^ HEAD -- src/
> +
> +Index: src/pylibsshext/channel.pxd

that's not an ideal format of comment, normally we use the header from
the relevant commit, or url to a fetchable patch

though I wonder if it would make more sense to switch to a GH_COMMIT
distfile from head for now...