On 9/2/19 3:43 PM, Jerry James wrote:
What's this all about (seen after doing a git push to
gap-pkg-hecke)?
$ git push
Enumerating objects: 9, done.
...snip...
The push seems to have succeeded in spite of the error.
Yeah,
https://pagure.io/fedora-infrastructure/issue/8163
it was a bug in pagure, which has been since fixed.
kevin