They’ve added GitHub pull request extension. I love my $55/year PHPStorm subscription though…
Paul Hayes