HomeSoftware Heritage

git2graph: implement user-customizable graph filtering