The git history in this repository was generated from upstream by running the following commands:
git filter-branch --prune-empty --subdirectory-filter boot
git filter-branch --prune-empty --index-filter 'git rm --cached --ignore-unmatch "kernel*.img"'
git filter-branch --prune-empty --index-filter 'git rm --cached --ignore-unmatch overlays'