From 0ef1d62a31a88562b1d6f3872769532f5589c070 Mon Sep 17 00:00:00 2001
From: NAHO <90870942+trueNAHO@users.noreply.github.com>
Date: Thu, 20 Nov 2025 16:22:17 +0100
Subject: [PATCH] ci: update-flake: declare PR body for unsupervised PR
 submissions

Fixes: a5c1532ab8bf ("flake: partition dev inputs (#1289)")
---
 .github/workflows/update-flake.yml | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/.github/workflows/update-flake.yml b/.github/workflows/update-flake.yml
index 189bc783..806e2111 100644
--- a/.github/workflows/update-flake.yml
+++ b/.github/workflows/update-flake.yml
@@ -74,6 +74,7 @@ jobs:
         env:
           GH_TOKEN: ${{ steps.generate-token.outputs.token }}
           base_branch: ${{ matrix.branch }}
+          body: "This is an automated update triggered by the [workflow run #${{ github.run_id }}](${{ github.server_url }}/${{ github.repository }}/actions/runs/${{ github.run_id }})."  # yamllint disable-line rule:line-length
           pr_branch: update_flake_lock_action_${{ matrix.branch }}
           title: "${{ startsWith(matrix.branch, 'release') && format('[{0}] ', matrix.branch) || '' }}flake: update public and dev inputs"  # yamllint disable-line rule:line-length
         run: |
@@ -82,6 +83,7 @@ jobs:
 
           gh pr create \
             --base "$base_branch" \
+            --body "$body" \
             --label "topic: dependencies" \
             --title "$title" ||
             echo "Failed to create PR"