Search and merge with git filtered repositories

Since the commit hashes are altered, checking old pull requests for commits to cherry pick will not work. However the new start and end hashes can be found with: 1 git rev-parse --short :/ "header or other commit message text" Followed by the standard: 1 git cherry-pick $SHA_START ^.. $SHA_END