RFR: Use different scratch folders for different repos

Robin Westberg rwestberg at openjdk.java.net
Tue Feb 11 14:30:33 UTC 2020

Hi all,

Please review this small change that ensures that different repositories get different scratch folders when inspected by the pullrequest bot, which should increase performance.

Best regards,


 - 9e02092c: Use different scratch folders for different repos

Changes: https://git.openjdk.java.net/skara/pull/427/files
 Webrev: https://webrevs.openjdk.java.net/skara/427/webrev.00
  Stats: 1 line in 1 file changed: 0 ins; 0 del; 1 mod
  Patch: https://git.openjdk.java.net/skara/pull/427.diff
  Fetch: git fetch https://git.openjdk.java.net/skara pull/427/head:pull/427

PR: https://git.openjdk.java.net/skara/pull/427

More information about the skara-dev mailing list