GitHub-issues zijn nu veel sneller. Veel prestatieverbeteringen in de wachtrij.