* Revert "ci: add a date prefix to the doc PR's name (#53)"
This reverts commit 70a87e73d0.
* ci: add a date prefix to the doc PR's name
* Revert "ci: add a date prefix to the doc PR's name (#53)"
This reverts commit 70a87e73d0.
* ci: add a date prefix to the doc PR's name