mirror of
https://github.com/certbot/certbot.git
synced 2026-06-22 15:09:23 -04:00
30 lines
1.3 KiB
YAML
30 lines
1.3 KiB
YAML
name: Merge Event
|
|
|
|
on:
|
|
pull_request_target:
|
|
types:
|
|
- closed
|
|
permissions: {} # let's not use any permissions we don't need here
|
|
jobs:
|
|
if_merged:
|
|
if: github.event.pull_request.merged == true
|
|
runs-on: ubuntu-latest
|
|
steps:
|
|
# github actions workflows triggered by pull_request_target can be
|
|
# dangerous because they run with additional privileges in an environment
|
|
# containing values that can be controlled by an attacker. because of
|
|
# this, please take extra caution when modifying the steps taken by this
|
|
# workflow. for additional information, see
|
|
# https://github.com/certbot/certbot/pull/10490
|
|
#
|
|
# we pin this action to a version tested and audited by certbot's
|
|
# maintainers for extra security. the full hash is used as doing so is
|
|
# recommended by zizmor
|
|
- uses: mattermost/action-mattermost-notify@ae31bb6f9e26a54336e79696f108a2c91cf55b4e
|
|
with:
|
|
MATTERMOST_WEBHOOK_URL: ${{ secrets.MATTERMOST_MERGE_WEBHOOK }}
|
|
TEXT: >
|
|
[${{ github.repository }}] |
|
|
[${{ github.event.pull_request.title }}
|
|
#${{ github.event.number }}](https://github.com/${{ github.repository }}/pull/${{ github.event.number }})
|
|
was merged into ${{ github.event.pull_request.base.ref }} by ${{ github.actor }}
|