Skip to content
Permalink
Browse files

A generated webrev should always include index.html

Reviewed-by: ehelin
  • Loading branch information
Robin Westberg
Robin Westberg committed Sep 20, 2019
1 parent 9e02b45 commit 915f2092bcdcd2919cd795228c07380e9a2b2cd0
Showing with 6 additions and 2 deletions.
  1. +6 −2 bots/mlbridge/src/main/java/org/openjdk/skara/bots/mlbridge/WebrevStorage.java
@@ -62,9 +62,13 @@ private void push(Repository localStorage, Path webrevFolder, String identifier)
// Try to push 1000 files at a time
var batches = files.filter(Files::isRegularFile)
.filter(file -> {
// Huge files are not that useful in a webrev
// Huge files are not that useful in a webrev - but make an exception for the index
try {
return Files.size(file) < 1000 * 1000;
if (file.getFileName().toString().equals("index.html")) {
return true;
} else {
return Files.size(file) < 1000 * 1000;
}
} catch (IOException e) {
return false;
}

0 comments on commit 915f209

Please sign in to comment.
You can’t perform that action at this time.