Am 14.03.20 um 10:35 schrieb Felix Schwarz:
> I just tried to push some changes to git but was unable to do.
...
>
> What I can do to get this fixed?
I tried again and somehow it worked the second time.
Felix
___
devel mailing list -- devel@lists.fedo
Hi,
I just tried to push some changes to git but was unable to do.
$ git push
Please visit
https://id.fedoraproject.org/openidc/Authorization?scope=openid+https%3A%2F%2Fid.fedoraproject.org%2Fscope%2Fgroups+https%3A%2F%2Fmbs.fedoraproject.org%2Foidc%2Fsubmit-build+https%3A%2F%2Fsrc.fedoraprojec