Loading tools/migrate-dirs.sh 0 → 100755 +13 −0 Original line number Diff line number Diff line #!/bin/bash git rebase origin/main git pull --rebase while true; do git rev-parse --verify REBASE_HEAD < /dev/null if [ $? -ne 0 ]; then break fi git add entries GIT_EDITOR=true git rebase --continue done git push No newline at end of file Loading
tools/migrate-dirs.sh 0 → 100755 +13 −0 Original line number Diff line number Diff line #!/bin/bash git rebase origin/main git pull --rebase while true; do git rev-parse --verify REBASE_HEAD < /dev/null if [ $? -ne 0 ]; then break fi git add entries GIT_EDITOR=true git rebase --continue done git push No newline at end of file