Trova richieste di pull unite da un utente specifico

Question

È possibile filtrare le richieste di pull in github da chi l'ha unificata?

Qualcosa di simile:

is:merged is:pr mergedBy:username 

ma questo non funziona

EDIT: Questo era quello che mi si avvicinò con (il mio obiettivo era quello di creare un top list dei codereviewers più attivi nel nostro progetto):

var result = {}; 
$.get("/api/v3/repos/atg/atgse/pulls?state=closed&per_page=100", function(pulls){ 
    pulls.forEach(function(listPullItem){ 
     $.get(listPullItem.url, function(pull) { 
      if (pull && pull.merged_by) { 
       result[pull.merged_by.login] = result[pull.merged_by.login] || 0; 
       result[pull.merged_by.login] ++; 
      } 
     }); 
    }); 
}); 

Answer 1

Dal momento che non sembra essere disponibile direttamente attraverso i filtri di ricerca GitHub, si avrebbe bisogno di list the pull request with the GitHub API, e selezionare solo quelli con lo merged_by.login desiderato.
Hai un esempio in this coffee script che è in grado di analizzare la risposta JSON e iterare attraverso le voci di richiesta di pull.