< prev index next > bots/hgbridge/src/main/java/org/openjdk/skara/bots/hgbridge/JBridgeBot.java
Print this page
return true;
}
}
private void pushMarks(Path markSource, String destName, Path markScratchPath) throws IOException {
! var marksRepo = Repository.materialize(markScratchPath, exporterConfig.marksRepo().url(), exporterConfig.marksRef());
// We should never change existing marks
var markDest = markScratchPath.resolve(destName);
var updated = Files.readString(markSource);
if (Files.exists(markDest)) {
return true;
}
}
private void pushMarks(Path markSource, String destName, Path markScratchPath) throws IOException {
! var marksRepo = Repository.materialize(markScratchPath, exporterConfig.marksRepo().url(),
+ "+" + exporterConfig.marksRef() + ":hgbridge_marks");
// We should never change existing marks
var markDest = markScratchPath.resolve(destName);
var updated = Files.readString(markSource);
if (Files.exists(markDest)) {
< prev index next >