From 2f4df74c7ba5e12960106d422a72c74495f831eb Mon Sep 17 00:00:00 2001
From: Juanjo Presa <github@nadanix.com>
Date: Fri, 18 Oct 2024 03:22:14 +0200
Subject: [PATCH] Update _postDiffToGitHubSnippet.nix

---
 src/std/fwlib/blockTypes/_postDiffToGitHubSnippet.nix | 8 ++++----
 1 file changed, 4 insertions(+), 4 deletions(-)

diff --git a/src/std/fwlib/blockTypes/_postDiffToGitHubSnippet.nix b/src/std/fwlib/blockTypes/_postDiffToGitHubSnippet.nix
index 036a4f8e..f8a20d0b 100644
--- a/src/std/fwlib/blockTypes/_postDiffToGitHubSnippet.nix
+++ b/src/std/fwlib/blockTypes/_postDiffToGitHubSnippet.nix
@@ -14,14 +14,14 @@ _: path: cmd: script: ''
     fi
 
     CENTRAL_COMMENT_HEADER="<!-- Unified Diff Comment -->"
-    ENTRY_START_MARKER="<!-- Start Diff for \`${path}\` -->"
-    ENTRY_END_MARKER="<!-- End Diff for \`${path}\` -->"
+    ENTRY_START_MARKER="<!-- Start Diff for ${path}:${cmd} -->"
+    ENTRY_END_MARKER="<!-- End Diff for ${path}:${cmd} -->"
 
     DIFF_ENTRY=$(cat <<EOF
 
 $ENTRY_START_MARKER
 <details>
-<summary>Diff for \`${path}\` (\`${cmd}\`)</summary>
+<summary>//${path}:${cmd}</summary>
 
 \`\`\`diff
 $DIFF_OUTPUT
@@ -40,7 +40,7 @@ EOF
       EXISTING_BODY=$(gh api "repos/$OWNER_REPO_NAME/issues/comments/$EXISTING_COMMENT_ID" --jq '.body')
 
       if echo "$EXISTING_BODY" | grep -q "$ENTRY_START_MARKER"; then
-        UPDATED_BODY=$(echo "$EXISTING_BODY" | sed -e "/$ENTRY_START_MARKER/,/$ENTRY_END_MARKER/d")
+        UPDATED_BODY=$(echo "$EXISTING_BODY" | sed -e "\#$ENTRY_START_MARKER#,\#$ENTRY_END_MARKER#d")
       else
         UPDATED_BODY="$EXISTING_BODY"
       fi