https://pagure.io/releng/issue/12210

It looks like bad luck, but a small number of packages failed to git push their bumps in the mass rebuild.
I talked to @jnsamyak in matrix and he told me the list is just:

```
ghc-hxt-charproperties
ghc-hxt-unicode
ghc-indexed-traversable
ghc-iproute
ghc-language-c99-simple
ghc-koji
```

Here is a paste of the log he shared: https://paste.centos.org/view/3f244f96

Anyway the main point I feel is that the bump/push script should either retry or error when this `git push` fails, or at least flag the git failures somehow.

My guess is there was likely some infra instability during the period these closely ordered packages were being git pushed.