On 9/2/19 3:43 PM, Jerry James wrote:
What's this all about (seen after doing a git push to
$ git push
Enumerating objects: 9, done.
The push seems to have succeeded in spite of the error.
it was a bug in pagure, which has been since fixed.