fixup! fix(ng-dev/pr): add timeout to wait before commenting on pr merge

.github/local-actions/branch-manager/main.js

@@ -70128,7 +70128,7 @@ var AutosquashMergeStrategy = class extends MergeStrategy {
     this.pushTargetBranchesUpstream(targetBranches);
     const localBranch = this.getLocalTargetBranchName(githubTargetBranch);
     const sha = this.git.run(["rev-parse", localBranch]).stdout.trim();
-    await new Promise((resolve) => setTimeout(resolve, 5e3));
+    await new Promise((resolve) => setTimeout(resolve, parseInt(process.env["AUTOSQUASH_TIMEOUT"] || "0")));
     await this.git.github.issues.createComment({
       ...this.git.remoteParams,
       issue_number: pullRequest.prNumber,

ng-dev/pr/merge/strategies/autosquash-merge.ts

@@ -78,7 +78,9 @@ export class AutosquashMergeStrategy extends MergeStrategy {
     /** The SHA of the commit pushed to github which represents closing the PR. */
     const sha = this.git.run(['rev-parse', localBranch]).stdout.trim();
     // Wait five seconds to account for rate limiting of the token usage during merge.
-    await new Promise((resolve) => setTimeout(resolve, 5000));
+    await new Promise((resolve) =>
+      setTimeout(resolve, parseInt(process.env['AUTOSQUASH_TIMEOUT'] || '0')),
+    );
     // Github automatically closes PRs whose commits are merged into the main branch on Github.
     // However, it does not note them as merged using the purple merge badge as occurs when done via
     // the UI. To inform users that the PR was in fact merged, add a comment expressing the fact