Skip to content
Merged
Show file tree
Hide file tree
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension


Conversations
Failed to load comments.
Loading
Jump to
Jump to file
Failed to load files.
Loading
Diff view
Diff view
72 changes: 0 additions & 72 deletions .github/workflows/contributor-feedback.yml

This file was deleted.

50 changes: 50 additions & 0 deletions .github/workflows/first-merged-pr-comment.yml
Original file line number Diff line number Diff line change
@@ -0,0 +1,50 @@
# SPDX-FileCopyrightText: 2026 LibreCode coop and contributors
# SPDX-License-Identifier: AGPL-3.0-or-later

name: First merged PR comment

on:
pull_request_target:
types: [closed]
workflow_dispatch:
inputs:
pull_request_number:
description: Pull request number to process or retry
required: true
type: string

permissions: {}

concurrency:
group: >-
first-merged-pr-comment-${{
github.event.pull_request.number ||
inputs.pull_request_number ||
github.run_id
}}
cancel-in-progress: false

jobs:
first-merged-pr-comment:
if: >-
github.event_name == 'workflow_dispatch' ||
(
github.event.pull_request.merged == true &&
github.event.pull_request.user.type != 'Bot'
)
runs-on: ubuntu-latest
timeout-minutes: 5

permissions:
pull-requests: write

steps:
# pull_request_target is intentionally used without checkout. Nothing
# from the pull request head is downloaded or executed.
- name: Comment on first merged pull request
uses: LibreCodeCoop/github-workflows/actions/first-merged-pr-comment@6816f216b2b04d5dd63d01711f88c5ff1d1e0740
with:
github-token: ${{ github.token }}
pull-request-number: >-
${{ github.event.pull_request.number || inputs.pull_request_number }}
message-template: ${{ vars.FIRST_MERGED_PR_MESSAGE }}
Loading