diff options
author | Fabian Henneke <FabianHenneke@users.noreply.github.com> | 2020-08-12 10:50:08 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-12 14:20:08 +0530 |
commit | d08397872aaa0492c5c55652c8cd14341485f813 (patch) | |
tree | 50aaf784339688016df7944592c0fc9518297d03 /app/src/main/res/values | |
parent | 372c0f3dbd395e93c89ac0730a06344e3c9d6376 (diff) |
Improve Git error message handling (#1011)
Co-authored-by: Harsh Shandilya <me@msfjarvis.dev>
Diffstat (limited to 'app/src/main/res/values')
-rw-r--r-- | app/src/main/res/values/strings.xml | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/app/src/main/res/values/strings.xml b/app/src/main/res/values/strings.xml index 347de2ed..df57f84e 100644 --- a/app/src/main/res/values/strings.xml +++ b/app/src/main/res/values/strings.xml @@ -374,6 +374,7 @@ <string name="git_push_nff_error">Push was rejected by remote, run pull before pushing again. You can use Synchronize rather than pull/push as it implements both</string> <string name="git_push_generic_error">Push was rejected by remote, reason: %1$s</string> <string name="git_push_other_error">Remote rejected non-fast-forward push. Check receive.denyNonFastForwards variable in config file of destination repository.</string> + <string name="git_unknown_host">Unknown host: %1$s</string> <string name="git_operation_running">Running git operation…</string> <!-- OpenKeychain not installed --> |