12 Jul
2018
12 Jul
'18
1:28 p.m.
Nikos Mavrogiannopoulos nmav@redhat.com writes:
Did you push it? I don't seem to see a pipeline with the f28 build systems: https://gitlab.com/gnutls/nettle/pipelines
History info on https://gitlab.com/gnutls/nettle/commits/master-updates says "This project is mirrored from https://git.lysator.liu.se/nettle/nettle.git. Updated 19 minutes ago. This branch has diverged from upstream." ^^^^^^^^^^^^
So I'd guess my force update on that branch has confused the mirroring. Maybe you need to somehow force push the right version to the mirror version of that branch to get it back in sync.
Sorry about that.
Regards, /Niels
--
Niels Möller. PGP-encrypted email is preferred. Keyid 368C6677.
Internet email is subject to wholesale government surveillance.