Re: src.fedoraproject.org pull request merging

2018-01-04 Thread Pierre-Yves Chibon
On Thu, Jan 04, 2018 at 09:44:44AM +0100, Florian Weimer wrote: > How is this supposed to work? I clicked on Merge in: > > https://src.fedoraproject.org/rpms/glibc/pull-request/3 > > But the task remains in the PENDING state, apparently indefinitely: > > “ > Waiting > > We are waiting for yo

src.fedoraproject.org pull request merging

2018-01-04 Thread Florian Weimer
How is this supposed to work? I clicked on Merge in: https://src.fedoraproject.org/rpms/glibc/pull-request/3 But the task remains in the PENDING state, apparently indefinitely: “ Waiting We are waiting for your task to finish. This page should be refreshed automatically, but if not click H