9a5539a Adjust loading pull-requests from JSON for remote pull-requests

Authored and Committed by pingou 8 years ago
    Adjust loading pull-requests from JSON for remote pull-requests
    
        
file modified
+2 -1