-
Bug
-
Resolution: Fixed
-
Medium
It takes minutes until new pull requests are created and until they are merged.
The process finishes after minutes... since today...
But some requests take so long, that I am not sure if they would be completed when I would wait longer. But however, I can't imagine that this long response time is normal.