Inform the user about a failed push

In case there are uncommitted changes in the remote repository the push ran through successfully but there were still unpushed changes in the app. This change notfies the user about this situation. Strangely, the push method from Objective-Git does not inform about this, although the command line Git does. Thus, the check for the number of local changes is used after the push operation, which can actually have several reasons. Important is that there is at least some hint, though.
This commit is contained in:
Danny Moesch 2020-07-26 16:43:13 +02:00 committed by Mingshen Sun
parent bf8f2078f5
commit b503e5f613
4 changed files with 15 additions and 11 deletions

View file

@ -14,7 +14,8 @@ public enum AppError: Error, Equatable {
case ReadingFile(_: String)
case PasswordDuplicated
case GitReset
case GitCommit
case GitCreateSignature
case GitPushNotSuccessful
case PasswordEntity
case PgpPublicKeyNotFound(keyID: String)
case PgpPrivateKeyNotFound(keyID: String)