* fix: undo changes to patch
* ci: ignore empty body / head
(cherry picked from commit 8bbec42fa0)
# Conflicts:
# .github/helper/documentation.py
* fix: undo changes to patch
* ci: ignore empty body / head
(cherry picked from commit 8bbec42fa0)
# Conflicts:
# .github/helper/documentation.py