| #!/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 '\ | |
| git checkout . ; git clean -fdx ;\ | |
| 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 |