HomeSoftware Heritage

converters: rename extra_git_headers in revision to extra_headers