HomeSoftware Heritage

Rename 'git_metadata' to 'extra_headers'

This commit no longer exists in the repository. It may have been part of a branch which was deleted.

Description

Rename 'git_metadata' to 'extra_headers'

Because they are now stored in the 'extra_headers' field instead
of the 'metadata' field.

Motivation: consistency + keep it out of 'grep metadata */swh/ -r'

Details

Provenance
vlorentzAuthored on Mar 16 2021, 11:38 AM
vlorentzPushed on Mar 16 2021, 12:25 PM
Differential Revision
D5254: Rename 'git_metadata' to 'extra_headers'
Build Status
Buildable 19937
Build 30963: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.