Deleted files not removed when keep_history: true about ghaction-github-pages

[crazy-max]

Directory b/ still present

You can't push an empty directory: https://git.wiki.kernel.org/index.php/GitFaq#Can_I_add_empty_directories.3F

[Barabas5532]

I have found the same issue. We do not want to push an empty directory. We want the deleted directory and all of its contents to be deleted from the gh-pages branch when the action runs.

I'm hosting the output of strictdoc, doxygen and other similar documentation tools in GitHub Pages. I started by setting up just strictdoc into the root of the github pages branch. Later I moved everything to a subdirectory.

The bug is that the files in the root of the repository still exist after I have moved them to a subdirectory. What I was uploading has a structure like this:

./html:
docs
requirements

However, the actual contents of the repository after the upload is like this:

The new folders docs and requirements were uploaded correctly, but files from a previous deployment (_static, index.html) have been left over. These files should have been deleted.

I think a workaround for this would be to rm -r all the files after the git clone step in the action. Git would see any identical regenerated files as not changed, and it would also see the deleted files correctly.