summaryrefslogtreecommitdiff
path: root/app/src/main/AndroidManifest.xml
diff options
context:
space:
mode:
authorMohamed Zenadi <zeapo@users.noreply.github.com>2019-05-15 11:22:07 +0200
committerGitHub <noreply@github.com>2019-05-15 11:22:07 +0200
commit064a3fad99d5852d50634a98023cb92c4a915606 (patch)
treed99160440eed728662d588d547e7b05f5ebe749d /app/src/main/AndroidManifest.xml
parent127a8b8c8a10d9c93bfc7e91e94b4bcb252eddeb (diff)
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
Diffstat (limited to 'app/src/main/AndroidManifest.xml')
0 files changed, 0 insertions, 0 deletions