parent
8f0325c05b
commit
b6d9bbda78
|
@ -1,4 +1,5 @@
|
|||
|
||||
---
|
||||
<!-- Text above this line will be added to the commit once "bors" merges this PR -->
|
||||
|
||||
### Pull Request checklist
|
||||
<!-- Before submitting the PR, please address each item -->
|
||||
|
|
|
@ -14,6 +14,9 @@ tasks:
|
|||
$let:
|
||||
# Github events have this stuff in different places...
|
||||
ownerEmail:
|
||||
$if: 'event.sender.login == "bors[bot]"'
|
||||
then: 'skaspari+mozlando@mozilla.com' # It must match what's in bors.toml
|
||||
else:
|
||||
$if: 'tasks_for == "github-push"'
|
||||
then: '${event.pusher.email}'
|
||||
# Assume Pull Request
|
||||
|
@ -88,7 +91,9 @@ tasks:
|
|||
then: ${event.action}
|
||||
else: 'UNDEFINED'
|
||||
in:
|
||||
$if: 'tasks_for in ["github-pull-request", "action", "cron"] || (tasks_for == "github-push" && head_branch[:10] != "refs/tags/") || (tasks_for == "github-release" && releaseAction == "published")'
|
||||
$if: 'tasks_for in ["github-pull-request", "action", "cron"]
|
||||
|| (tasks_for == "github-push" && head_branch[:10] != "refs/tags/") && (head_branch != "staging.tmp") && (head_branch != "trying.tmp")
|
||||
|| (tasks_for == "github-release" && releaseAction == "published")'
|
||||
then:
|
||||
$let:
|
||||
level:
|
||||
|
|
Loading…
Reference in New Issue