diff options
author | Fabian Henneke <FabianHenneke@users.noreply.github.com> | 2020-08-24 12:03:33 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2020-08-24 15:33:33 +0530 |
commit | d0b15cec49a41ec1ea51890ac7b7c8cb8515f6a4 (patch) | |
tree | 7fcac03715ac7bfb5b371f4277c61b0ed5e82efd /app/src/main/res/values | |
parent | cbe780f31c64c1f668b35554929c09b8d25f2636 (diff) |
Improve Git server config activity (#1051)
Diffstat (limited to 'app/src/main/res/values')
-rw-r--r-- | app/src/main/res/values/strings.xml | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/app/src/main/res/values/strings.xml b/app/src/main/res/values/strings.xml index 1b32e29c..86e1c722 100644 --- a/app/src/main/res/values/strings.xml +++ b/app/src/main/res/values/strings.xml @@ -328,6 +328,8 @@ <string name="connection_mode_openkeychain" translatable="false">OpenKeychain</string> <string name="git_server_config_save_success">Successfully saved configuration</string> <string name="git_server_config_save_error">The provided repository URL is not valid</string> + <string name="git_server_config_save_missing_username_https">Please specify the HTTPS username in the form https://username@example.com/…</string> + <string name="git_server_config_save_missing_username_ssh">Please specify the SSH username in the form username@example.com:…</string> <string name="git_config_error_hostname_empty">empty hostname</string> <string name="git_config_error_generic">please verify your settings and try again</string> <string name="git_config_error_nonnumeric_port">port must be numeric</string> |