HomeSoftware Heritage

pg: Check revision.extra_headers is not null.

Description

pg: Check revision.extra_headers is not null.

Fixes a regression in 038a219f84d6b8a4f02b48f9ad3c5d823d097790,
as it made the converter expect a list.

When adding this column, we made it default to null instead of defaulting
to an empty array, so existing records were initialized will null.

This commit migrates these nulls to empty arrays, then adds a constraint
to enforce it in the future.

Details

Provenance
vlorentzAuthored on Aug 19 2020, 2:25 PM
vlorentzPushed on Aug 20 2020, 8:51 AM
Differential Revision
D3805: pg: Check revision.extra_headers is not null.
Parents
rDSTOca3ee92da47b: converters: convert extra_headers to an empty list if it is None.
Branches
Unknown
Tags
Unknown
References
tag: v0.13.2
Build Status
Buildable 14687
Build 22627: test-and-buildJenkins console · Jenkins