diff options
author | Harsh Shandilya <me@msfjarvis.dev> | 2022-01-25 13:12:23 +0530 |
---|---|---|
committer | GitHub <noreply@github.com> | 2022-01-25 13:12:23 +0530 |
commit | 6c7a066ea6974e9e81f5889036e42c58d0785392 (patch) | |
tree | b11255e13cadbd2695e105a0891db1d5f7c31cd8 /app/src/main/res | |
parent | e7fbcd4f855da053fca4c5592bc84b682ef92963 (diff) |
Add the ability to run garbage collection on the internal Git repository (#1683)
Diffstat (limited to 'app/src/main/res')
-rw-r--r-- | app/src/main/res/layout/activity_git_config.xml | 8 | ||||
-rw-r--r-- | app/src/main/res/values/strings.xml | 1 |
2 files changed, 9 insertions, 0 deletions
diff --git a/app/src/main/res/layout/activity_git_config.xml b/app/src/main/res/layout/activity_git_config.xml index d0479b09..364c5287 100644 --- a/app/src/main/res/layout/activity_git_config.xml +++ b/app/src/main/res/layout/activity_git_config.xml @@ -102,4 +102,12 @@ android:text="@string/reset_to_remote" app:layout_constraintTop_toBottomOf="@id/git_abort_rebase" /> + <com.google.android.material.button.MaterialButton + android:id="@+id/git_gc" + android:layout_marginTop="8dp" + android:text="@string/git_run_gc_job" + app:layout_constraintTop_toBottomOf="@id/git_reset_to_remote" + android:layout_width="match_parent" + android:layout_height="wrap_content" /> + </androidx.constraintlayout.widget.ConstraintLayout> diff --git a/app/src/main/res/values/strings.xml b/app/src/main/res/values/strings.xml index c11e6f25..88484947 100644 --- a/app/src/main/res/values/strings.xml +++ b/app/src/main/res/values/strings.xml @@ -392,5 +392,6 @@ <string name="pgp_key_import_succeeded_message">The key ID of the imported key is given below, please review it for correctness:\n%1$s</string> <string name="pref_category_pgp_title">PGP settings</string> <string name="pwgen_some_error_occurred">Some error occurred</string> + <string name="git_run_gc_job">Run garbage collection job</string> </resources> |