github_community_pr_comment_closed.md.j2

{% filter replace("\n", " ")|trim %}
Although this pull request is already
{% if is_merged %}merged{% else %}closed{% endif %},
{% if issue_key %}
I've created
[{{ issue_key }}]({{ jira_server }}/browse/{{ issue_key }})
so that we can track it in Jira.
{% else %}
I'm still watching it for updates.
{% endif %}
{% endfilter %}

{% filter replace("\n", " ")|trim %}
There is nothing you have to do. No action is needed from your side.
{% if is_merged %}
Thanks again for your contribution.
{% else %}
Thanks.
{% endif %}
{% endfilter %}

<!-- comment:welcome_closed -->
<!-- comment:external_pr -->
<!-- comment:no_survey_needed -->