Procedures: consultation #8366 #1876

	name: Say thanks for the contributors

	on:
	pull_request_target:
	types:
	- closed

	jobs:
	if_merged:
	if: github.event.pull_request.merged == true
	runs-on: ubuntu-latest
	permissions:
	issues: write
	pull-requests: write
	contents: write
	steps:
	- name: Add thankyou note
	uses: actions/[email protected]
	with:
	script: \|
	const thankyouNote = 'Your efforts have helped advance digital healthcare and TeleICU systems. :rocket: Thank you for taking the time out to make CARE better. We hope you continue to innovate and contribute; your impact is immense! :raised_hands:'
	const options = {
	issue_number: context.issue.number,
	owner: context.repo.owner,
	repo: context.repo.repo,
	}

	const result = await github.rest.issues.get({
	issue_number: context.issue.number,
	owner: context.repo.owner,
	repo: context.repo.repo,
	})

	const { assignees, user } = result.data

	const assignees_tagged = assignees.map((user) => '@' + user.login).join(' ')
	const owner_tagged = '@' + user.login

	if (assignees.length == 0) {
	await github.rest.issues.createComment({ ...options, body: `${owner_tagged} ${thankyouNote}` })
	} else {
	await github.rest.issues.createComment({ ...options, body: `${assignees_tagged} ${owner_tagged} ${thankyouNote}` })
	}

Provide feedback