Hello All,
We had an issue today as some people were unable to push to dist-git
f31 branches, it was caused by setting a wrong date in pdc. It has
been fixed now and people can push to f31 branches.
More info at
https://pagure.io/fedora-infrastructure/issue/9325
Sorry for the trouble that this has caused.
Thanks.