HomeSoftware Heritage

pg: Check revision.extra_headers is not null.

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

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.
Build Status
Buildable 14687
Build 22627: test-and-buildJenkins console · Jenkins

Commit No Longer Exists

This commit no longer exists in the repository.