From df70b4b8b76c2002c8eadf3854f000ae1158187a Mon Sep 17 00:00:00 2001
From: Alex Jurkiewicz <alex@jurkiewi.cz>
Date: Tue, 30 May 2023 14:41:31 +1000
Subject: [PATCH] Document `ignore_empty`

---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/README.md b/README.md
index acb54f5..c5866c4 100644
--- a/README.md
+++ b/README.md
@@ -212,6 +212,10 @@ For more detailed information about permissions, you can read from the link belo
 
 **Optional** Another repository name. Of limited use on GitHub enterprise. If not set, the current repository is used by default. Note that when you trying changing a repo, be aware that `GITHUB_TOKEN` should also have permission for that repository.
 
+### `ignore_empty`
+
+**Optional** By default this is `false`. If set to `true`, no comment will be posted if the comment body is empty. Note that enabling this will prevent comment hiding & deletion from working when the body is empty.
+
 ### `GITHUB_TOKEN`
 
 **Optional**, You can set [PAT](https://docs.github.com/en/github/authenticating-to-github/creating-a-personal-access-token) here. If not set, this will use `${{ github.token }}`.