CI: Ignore .pr-body.txt file (#70798)

This file is used during the backporting process but should never be
committed.
This commit is contained in:
Horst Gutmann 2023-06-28 11:12:25 +02:00 committed by GitHub
parent 9ca888527b
commit 2b10d31bac
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

3
.gitignore vendored
View File

@ -191,3 +191,6 @@ public/api-spec.json
deployment_tools_config.json
.betterer.cache
# Temporary file for backporting PRs
.pr-body.txt