Merge "Use full command instead of local alias."
This commit is contained in:
commit
afeadc3561
2 changed files with 2 additions and 2 deletions
|
@ -10,7 +10,7 @@ function finalize_revert_local_changes_main() {
|
|||
|
||||
repo forall -c '\
|
||||
git checkout . ; git revert --abort ; git clean -fdx ;\
|
||||
git checkout @ ; git b fina-step1 -D ; git reset --hard; \
|
||||
git checkout @ ; git branch fina-step1 -D ; git reset --hard; \
|
||||
repo start fina-step1 ; git checkout @ ; git b fina-step1 -D ;'
|
||||
}
|
||||
|
||||
|
|
|
@ -9,7 +9,7 @@
|
|||
function revert_to_unfinalized_state() {
|
||||
repo forall -c '\
|
||||
git checkout . ; git revert --abort ; git clean -fdx ;\
|
||||
git checkout @ ; git b fina-step1 -D ; git reset --hard; \
|
||||
git checkout @ ; git branch fina-step1 -D ; git reset --hard; \
|
||||
repo start fina-step1 ; git checkout @ ; git b fina-step1 -D ;\
|
||||
baselineHash="$(git log --format=%H --no-merges --max-count=1 --grep ^FINALIZATION_STEP_1_BASELINE_COMMIT)" ;\
|
||||
if [[ $baselineHash ]]; then
|
||||
|
|
Loading…
Reference in a new issue