Filtering of git repository

Well, if it's just the formatting, one could reformat it manually with git commit amend (or even have a hook do it automatically).

In this case though, the following caveat comes into play:

| Do not use this option if you are cherry-picking from your | private branch because the information is useless to the | recipient.

The commits in question were made on a private branch. Because they are merged, the commits from the private branch are part of the repository. But once the merges are converted to cherry-picks, there will be no more references to the commits on the private branch, and they will be garbage-collected.