fixup! Extend Jenkins pipeline to support production releases (#325)
fixup! Extend Jenkins pipeline to support production releases (#325)

PublicMapping/DistrictBuilder,PublicMapping/DistrictBuilder,PublicMapping/DistrictBuilder,PublicMapping/DistrictBuilder,PublicMapping/DistrictBuilder