HomeSoftware Heritage

Simple script to save the Inria gForge one repo at a time