diff --git a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties index 4984dda74..3817fb93c 100644 --- a/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties +++ b/org.eclipse.jgit/resources/org/eclipse/jgit/internal/ketch/KetchText.properties @@ -1,7 +1,12 @@ +accepted=accepted. cannotFetchFromLocalReplica=cannot fetch from LocalReplica +failed=failed! leaderFailedToStore=leader failed to store localReplicaRequired=LocalReplica instance is required mismatchedTxnNamespace=mismatched txnNamespace; expected {0} found {1} outsideTxnNamespace=ref {0} is outside of txnNamespace {1} +proposingUpdates=Proposing updates queuedProposalFailedToApply=queued proposal failed to apply +starting=starting! unsupportedVoterCount=unsupported voter count {0}, expected one of {1} +waitingForQueue=Waiting for queue diff --git a/org.eclipse.jgit/src/org/eclipse/jgit/internal/ketch/KetchLeader.java b/org.eclipse.jgit/src/org/eclipse/jgit/internal/ketch/KetchLeader.java index 851d433c4..3bcd6bcb2 100644 --- a/org.eclipse.jgit/src/org/eclipse/jgit/internal/ketch/KetchLeader.java +++ b/org.eclipse.jgit/src/org/eclipse/jgit/internal/ketch/KetchLeader.java @@ -86,7 +86,7 @@ * leader is discarded. *

* In Ketch all push requests are issued through the leader. The steps are as - * follows: + * follows (see {@link KetchPreReceive} for an example): *