Update gitlab-ci and fix build (!2) · Merge requests · keys.openpgp.org / hagrid

The source project of this merge request has been removed.

Nico Weichbrodt requested to merge (removed):master into master Nov 25, 2018

Updated gitlab-ci to reflect name change. Updated source to reflect openpgp name change in sequoia.git.

Update gitlab-ci and fix build