RFR: merge-bot: use correct credentials for listing PRs
    Erik Helin 
    ehelin at openjdk.java.net
       
    Fri Feb  7 13:07:39 UTC 2020
    
    
  
Hi all,
please review this small patch that fixes some additional credential confusion
in the merge bot. The bot did not use correct credentials for listing the pull
requests for the target repository.
Thanks,
Erik
-------------
Commits:
 - 509933a7: merge-bot: use correct credentials for listing PRs
Changes: https://git.openjdk.java.net/skara/pull/410/files
 Webrev: https://webrevs.openjdk.java.net/skara/410/webrev.00
  Stats: 8 lines in 1 file changed: 3 ins; 3 del; 2 mod
  Patch: https://git.openjdk.java.net/skara/pull/410.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/410/head:pull/410
PR: https://git.openjdk.java.net/skara/pull/410
    
    
More information about the skara-dev
mailing list