Use push events for IssueLens team memory (#1103)

Use default-branch push events with the pinned shared IssueLens action, per-push concurrency, and manual dispatch recovery.

Co-authored-by: Copilot App <223556219+Copilot@users.noreply.github.com>

Author: chagong

.github/issuelens/team-memory.md

@@ -170,8 +170,9 @@ prerequisite for retrieval or separately authorized direct maintenance.
 
 Preserve `expected_wiki_repository` and the full-SHA `expected_base` from a fresh,
 verified wiki snapshot on every update. Retain atomic Git compare-and-swap (CAS);
-source workflow concurrency is per repository and issue/PR, not a cross-repository
-wiki lock. Other Java tooling repositories can update the same shared wiki.
+source workflow concurrency is per repository and issue, push SHA, or manual PR,
+not a cross-repository wiki lock. Other Java tooling repositories can update the
+same shared wiki.
 On a destination/base mismatch or conflict, stop the prepared write, perform a
 bounded re-read, and recompute only still-authorized changes against the verified
 snapshot. If authorization, destination, or provenance cannot be re-established,

.github/workflows/team-memory-post-merge.yml

@@ -1,8 +1,8 @@
 name: Update IssueLens Team Memory
 
 on:
-  pull_request_target:
-    types: [closed]
+  push:
+    branches: [main]
   workflow_dispatch:
     inputs:
       pull_request_number:
@@ -13,27 +13,24 @@ on:
 permissions: {}
 
 concurrency:
-  group: issuelens-${{ github.repository }}-team-memory-${{ github.event.pull_request.number || inputs.pull_request_number || github.run_id }}
+  group: issuelens-${{ github.repository }}-team-memory-${{ github.event.after || inputs.pull_request_number || github.run_id }}
   cancel-in-progress: false
 
 jobs:
   team-memory:
     if: >-
       ${{ vars.ISSUELENS_TEAM_MEMORY_ENABLED == 'true' &&
-          ((github.event_name == 'workflow_dispatch' &&
-            github.ref == format('refs/heads/{0}', github.event.repository.default_branch)) ||
-           (github.event_name == 'pull_request_target' &&
-            github.event.pull_request.merged == true &&
-            github.event.pull_request.base.ref == github.event.repository.default_branch)) }}
+          github.ref == format('refs/heads/{0}', github.event.repository.default_branch) &&
+          (github.event_name == 'push' || github.event_name == 'workflow_dispatch') }}
     runs-on: ubuntu-latest
-    timeout-minutes: 20
+    timeout-minutes: 30
     permissions:
       contents: read
       pull-requests: read
       id-token: write
     steps:
       - name: Maintain IssueLens team memory
-        uses: microsoft/IssueLens/.github/actions/issuelens@49df3d97547069f891a68248be6ed722c2aeca2f
+        uses: microsoft/IssueLens/.github/actions/issuelens@2b5317815e15179899014a02c41678620ce2d390
         with:
           request-type: team-memory
           pull-request-number: ${{ inputs.pull_request_number }}