delete expired branch

sqin2019 · Jul 31, 2023 · 2082e8a · 2082e8a
1 parent daf0c8b
commit 2082e8a
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/.github/workflows/expire.yml b/.github/workflows/expire.yml
@@ -95,8 +95,9 @@ jobs:
                   owner: repoOwner,
                   repo: repoName,
                   issue_number: pull['number'],
-                  body: `**\`Access on Demand\`** - request closed due to inactivity for at least ${{ inputs.expiry_hours }} hours`,
+                  body: `**\`Access on Demand\`** - request closed and branch deleted due to inactivity for at least ${{ inputs.expiry_hours }} hours`,
                 });
+                core.info(`Deleting branch ${pull['head']['ref']}`);
 
                 // Delete branch.
                 await github.rest.git.deleteRef({