Commit 2d7ebae
committed
Trigger
GitGitGadget maintains a mirror of the Git mailing list at
https://github.com/gitgitgadget/git-mailing-list-mirror/, synchronizing
it via the `sync-git-mailing-list-mirror` workflow.
As a side effect of having installed the `gitgitgadget` GitHub App on
that repository (so that the workflow can push updates), GitGitGadget's
App also receives webhook events from that repository.
Let's put that fact to good use by triggering the new `handle-new-mails`
GitHub workflow that wants to replace GitGitGadget's "Mirror Git List to
GitGitGadget's PRs" Azure Pipeline at
https://dev.azure.com/gitgitgadget/git/_build?definitionId=5 (which
polled the upstream Git mailing list repository).
Signed-off-by: Johannes Schindelin <johannes.schindelin@gmx.de>handle-new-mails on new mails1 parent 8580d33 commit 2d7ebae
2 files changed
+42
-1
lines changed| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
59 | 59 | | |
60 | 60 | | |
61 | 61 | | |
62 | | - | |
| 62 | + | |
| 63 | + | |
| 64 | + | |
| 65 | + | |
| 66 | + | |
| 67 | + | |
| 68 | + | |
| 69 | + | |
| 70 | + | |
| 71 | + | |
| 72 | + | |
| 73 | + | |
| 74 | + | |
| 75 | + | |
| 76 | + | |
63 | 77 | | |
64 | 78 | | |
65 | 79 | | |
| |||
| Original file line number | Diff line number | Diff line change | |
|---|---|---|---|
| |||
255 | 255 | | |
256 | 256 | | |
257 | 257 | | |
| 258 | + | |
| 259 | + | |
| 260 | + | |
| 261 | + | |
| 262 | + | |
| 263 | + | |
| 264 | + | |
| 265 | + | |
| 266 | + | |
| 267 | + | |
| 268 | + | |
| 269 | + | |
| 270 | + | |
| 271 | + | |
| 272 | + | |
| 273 | + | |
| 274 | + | |
| 275 | + | |
| 276 | + | |
| 277 | + | |
| 278 | + | |
| 279 | + | |
| 280 | + | |
| 281 | + | |
| 282 | + | |
| 283 | + | |
| 284 | + | |
258 | 285 | | |
0 commit comments