There are 4 commits incorrectly signed off. This means that the author(s) of these commits failed to include a Signed-off-by line in their commit message.

To avoid having PRs blocked in the future, always include Signed-off-by: Author Name <[email protected]> in every commit message. You can also do this automatically by using the -s flag (i.e., git commit -s).

Here is how to fix the problem so that this code can be merged.

Preferred method: Commit author adds a DCO remediation commit

A DCO Remediation Commit contains special text in the commit message that applies a missing Signed-off-by line in a subsequent commit. The primary benefit of this method is that the project’s history does not change, and there is no risk of breaking someone else’s work.

These authors can unblock this PR by adding a new commit to this branch with the following text in their commit message:

Adrian Garcia Badaracco <[email protected]>

DCO Remediation Commit for Adrian Garcia Badaracco <[email protected]>

I, Adrian Garcia Badaracco <[email protected]>, hereby add my Signed-off-by to this commit: 531360fc64dd5458d4257b302ea8e2eec4a9e859
I, Adrian Garcia Badaracco <[email protected]>, hereby add my Signed-off-by to this commit: 54de54028dc91de340b4bf6d0598ab604a02b10a
I, Adrian Garcia Badaracco <[email protected]>, hereby add my Signed-off-by to this commit: e126f4547da38d2c40f8ddadec7f641b98983c1b
I, Adrian Garcia Badaracco <[email protected]>, hereby add my Signed-off-by to this commit: a9e0abbcf858c9ecce14aa0d9b37399d4cadb5cc

Signed-off-by: Adrian Garcia Badaracco <[email protected]>

Please note: You should avoid adding empty commits (i.e., git commit -s --allow-empty), because these will be discarded if someone rebases the branch / repo.

Least preferred method: Rebase the branch

If you have a local git environment and meet the criteria below, one option is to rebase the branch and add your Signed-off-by lines in the new commits. Please note that if others have already begun work based upon the commits in this branch, this solution will rewrite history and may cause serious issues for collaborators (described in the git documentation under "The Perils of Rebasing").

You should only do this if:

• You are the only author of the commits in this branch
• You are absolutely certain nobody else is doing any work based upon this branch
• There are no empty commits in the branch (for example, a DCO Remediation Commit which was added using --allow-empty)

To add your Signed-off-by line to every commit in this branch:

1. Ensure you have a local copy of your branch by checking out the pull request locally via command line.
2. In your local branch, run: git rebase HEAD~4 --signoff
3. Force push your changes to overwrite the branch: git push --force-with-lease origin push-down-dynamic-predicates

Summary

Commit sha: 531360f, Author: Adrian Garcia Badaracco, Committer: Adrian Garcia Badaracco; The sign-off is missing.
Commit sha: 54de540, Author: Adrian Garcia Badaracco, Committer: Adrian Garcia Badaracco; The sign-off is missing.
Commit sha: e126f45, Author: Adrian Garcia Badaracco, Committer: Adrian Garcia Badaracco; The sign-off is missing.
Commit sha: a9e0abb, Author: Adrian Garcia Badaracco, Committer: Adrian Garcia Badaracco; The sign-off is missing.