From 064a3fad99d5852d50634a98023cb92c4a915606 Mon Sep 17 00:00:00 2001 From: Mohamed Zenadi Date: Wed, 15 May 2019 11:22:07 +0200 Subject: Allow the user to push local master to a new branch in case of conflict (#508) * detect that we're in a detached head and show the message * add a new way to clean local repo in case of failed rebase --- app/src/main/res/values/strings.xml | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) (limited to 'app/src/main/res/values/strings.xml') diff --git a/app/src/main/res/values/strings.xml b/app/src/main/res/values/strings.xml index 675c5ca9..52f631c1 100644 --- a/app/src/main/res/values/strings.xml +++ b/app/src/main/res/values/strings.xml @@ -238,6 +238,7 @@ Screenshot of accessibility services Screenshot of toggle in accessibility services Screenshot of autofill service in action + Pull has failed, you\'re in a detached head. Using "settings > git utils", save your changes to the remote in a new branch and resolve the conflict on your computer. Push was rejected by remote, run pull before pushing again. You can use Synchronize rather than pull/push as it implements both Push was rejected by remote, reason: Remote rejected non-fast-forward push. Check receive.denyNonFastForwards variable in config file of destination repository. @@ -246,7 +247,7 @@ Clear saved preference for HOTP incrementing Remember the passphrase in the app configuration (insecure) Hackish tools - Abort rebase + Abort rebase and push new branch Commit hash p@ssw0rd! username: something other extra content @@ -258,4 +259,5 @@ Unknown SSH API Error SD-Card root selected You have selected the root of your sdcard for the store. This is extremely dangerous and you will lose your data as its content will, eventually, be deleted + Abort and Push -- cgit v1.2.3