Add checklist items for mirroring to PR templates (#7299, PR #7427)

Author: hannes-ucsc

.github/PULL_REQUEST_TEMPLATE/anvilprod-hotfix.md

@@ -83,6 +83,13 @@ Connected issue: #0000
 - [ ] Created backport PR and linked to it in a comment on this PR
 
 
+### Operator (mirroring)
+
+- [ ] Started mirroring in `anvilprod` <sub>or neither this PR nor a failed, prior promotion requires it</sub>
+- [ ] Checked for, triaged and possibly requeued messages in mirror fail queue in `anvilprod` <sub>or neither this PR nor a failed, prior promotion requires it</sub>
+- [ ] Emptied mirror fail queue in `anvilprod` <sub>or neither this PR nor a failed, prior promotion requires it</sub>
+
+
 ### Operator
 
 - [ ] PR is assigned to no one

.github/PULL_REQUEST_TEMPLATE/anvilprod-promotion.md

@@ -102,6 +102,13 @@ Connected issue: #0000
 - [ ] Restarted `deploy_browser` job in the GitLab pipeline for this PR in `anvilprod` <sub>or this PR does not require reindexing `anvilprod`</sub>
 
 
+### Operator (mirroring)
+
+- [ ] Started mirroring in `anvilprod` <sub>or this PR does not require mirroring `anvilprod`</sub>
+- [ ] Checked for, triaged and possibly requeued messages in mirror fail queue in `anvilprod` <sub>or this PR does not require mirroring `anvilprod`</sub>
+- [ ] Emptied mirror fail queue in `anvilprod` <sub>or this PR does not require mirroring `anvilprod`</sub>
+
+
 ### Operator
 
 - [ ] PR is assigned to only the system administrator

.github/PULL_REQUEST_TEMPLATE/prod-hotfix.md

@@ -79,6 +79,13 @@ Connected issue: #0000
 - [ ] Created backport PR and linked to it in a comment on this PR
 
 
+### Operator (mirroring)
+
+- [ ] Started mirroring in `prod` <sub>or neither this PR nor a failed, prior promotion requires it</sub>
+- [ ] Checked for, triaged and possibly requeued messages in mirror fail queue in `prod` <sub>or neither this PR nor a failed, prior promotion requires it</sub>
+- [ ] Emptied mirror fail queue in `prod` <sub>or neither this PR nor a failed, prior promotion requires it</sub>
+
+
 ### Operator
 
 - [ ] PR is assigned to no one

.github/PULL_REQUEST_TEMPLATE/prod-promotion.md

@@ -98,6 +98,13 @@ Connected issue: #0000
 - [ ] Restarted `deploy_browser` job in the GitLab pipeline for this PR in `prod` <sub>or this PR does not require reindexing `prod`</sub>
 
 
+### Operator (mirroring)
+
+- [ ] Started mirroring in `prod` <sub>or this PR does not require mirroring `prod`</sub>
+- [ ] Checked for, triaged and possibly requeued messages in mirror fail queue in `prod` <sub>or this PR does not require mirroring `prod`</sub>
+- [ ] Emptied mirror fail queue in `prod` <sub>or this PR does not require mirroring `prod`</sub>
+
+
 ### Operator
 
 - [ ] PR is assigned to only the system administrator

.github/pull_request_template.md

@@ -194,6 +194,16 @@ title is `Fix: ` followed by the issue title
 - [ ] Restarted `deploy_browser` job in the GitLab pipeline for this PR in `anvildev` <sub>or this PR does not require reindexing `anvildev`</sub>
 
 
+### Operator (mirroring)
+
+- [ ] Started mirroring in `dev` <sub>or this PR does not require mirroring `dev`</sub>
+- [ ] Started mirroring in `anvildev` <sub>or this PR does not require mirroring `anvildev`</sub>
+- [ ] Checked for, triaged and possibly requeued messages in mirror fail queue in `dev` <sub>or this PR does not require mirroring `dev`</sub>
+- [ ] Checked for, triaged and possibly requeued messages in mirror fail queue in `anvildev` <sub>or this PR does not require mirroring `anvildev`</sub>
+- [ ] Emptied mirror fail queue in `dev` <sub>or this PR does not require mirroring `dev`</sub>
+- [ ] Emptied mirror fail queue in `anvildev` <sub>or this PR does not require mirroring `anvildev`</sub>
+
+
 ### Operator
 
 - [ ] Propagated the `deploy:shared`, `deploy:gitlab`, `deploy:runner`, `API`, `reindex:partial`, `reindex:anvilprod` and `reindex:prod` labels to the next promotion PRs <sub>or this PR carries none of these labels</sub>

.github/pull_request_template.md.template.py

@@ -1031,6 +1031,33 @@ def emit(t: T, target_branch: str):
                     'content': 'Created backport PR and linked to it in a comment on this PR'
                 })
             ]),
+            *iif(t in (T.default, T.hotfix, T.promotion), [
+                {
+                    'type': 'h2',
+                    'content': 'Operator (mirroring)'
+                },
+                *flatten(zip(*(
+                    [
+                        *[
+                            {
+                                'type': 'cli',
+                                'content': f'{action} in `{d}`',
+                                'alt': (
+                                    'or neither this PR nor a failed, prior promotion requires it'
+                                    if t is T.hotfix else
+                                    f'or this PR does not require mirroring `{d}`'
+                                )
+                            }
+                            for action in [
+                                'Started mirroring',
+                                'Checked for, triaged and possibly requeued messages in mirror fail queue',
+                                'Emptied mirror fail queue'
+                            ]
+                        ]
+                    ]
+                    for d, s in t.target_deployments(target_branch).items()
+                )))
+            ]),
             {
                 'type': 'h2',
                 'content': 'Operator'