--prune-degenerate=always doesn't prune empty merge commits

[hirrolot]

Executing git filter-repo --prune-empty always --prune-degenerate always doesn't prune any merge commits (all commit hashes remain the same). From the documentation, I understand that it should, but for some reason, it doesn't. Any ideas?

Update: after running git filter-repo, the following command displays many empty commits:

$ git rev-list HEAD | while read commitHash; do
    if [ $(git diff-tree --name-status --no-commit-id $commitHash | wc -l) -eq 0 ]; then
        echo $commitHash
    fi;
done

[hirrolot]

The commits were not empty. These were merge commits, so git show didn't show anything, but git show -m did. The git rev-list script didn't account for that. Closing this discussion as resolved.