HomeSoftware Heritage

converters: rename extra_git_headers in revision to extra_headers
37c8b88f670fUnpublished

Unpublished Commit · Learn More

Repository Importing: This repository is still importing.

Description

converters: rename extra_git_headers in revision to extra_headers

Details

Provenance
olasdAuthored on May 11 2016, 2:33 PM
qcamposPushed on May 12 2016, 1:09 PM
Parents
R65:2c719ee74b4a: Change the server's imports to absolute ones
Branches
Unknown
Tags
Unknown