Git filter-repo: much easier/faster alternative to filter-branch | Hacker News Reader