2022-10-06 02:41:57 +02:00
|
|
|
#!/bin/bash
|
|
|
|
# Brings local repository to a remote head state.
|
|
|
|
|
|
|
|
# set -ex
|
|
|
|
|
|
|
|
function finalize_revert_local_changes_main() {
|
|
|
|
local top="$(dirname "$0")"/../..
|
|
|
|
|
|
|
|
repo selfupdate
|
|
|
|
|
|
|
|
repo forall -c '\
|
2022-11-02 21:01:30 +01:00
|
|
|
git checkout . ; git revert --abort ; git clean -fdx ;\
|
2022-10-06 02:41:57 +02:00
|
|
|
git checkout @ ; git b fina-step1 -D ; git reset --hard; \
|
|
|
|
repo start fina-step1 ; git checkout @ ; git b fina-step1 -D ;'
|
|
|
|
}
|
|
|
|
|
|
|
|
finalize_revert_local_changes_main
|