diff --git a/lib_sync b/lib_sync deleted file mode 100755 index 63419b00d..000000000 --- a/lib_sync +++ /dev/null @@ -1,48 +0,0 @@ -#!/bin/bash -ex - -git checkout master - -LIB=$1 - -git branch lib_$LIB -git checkout lib_$LIB - -git filter-branch -f --prune-empty --subdirectory-filter libraries/$LIB lib_$LIB - -cd ../libraries -mkdir $LIB -cd $LIB - -git init - -git pull ../../Arduino lib_$LIB - -git config user.email f.fissore@arduino.cc - -git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "f.vanzati@gmail.com" ]; - then export GIT_AUTHOR_EMAIL=f.vanzati@arduino.cc; - fi; git commit-tree "$@"' -git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "federico@fissore.org" ]; - then export GIT_AUTHOR_EMAIL=f.fissore@arduino.cc; - fi; git commit-tree "$@"' -git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "c.maglie@bug.st" ]; - then export GIT_AUTHOR_EMAIL=c.maglie@arduino.cc; - fi; git commit-tree "$@"' -git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "tigoe@tigoemac.itp.tsoa.nyu.edu" ]; - then export GIT_AUTHOR_EMAIL=t.igoe@arduino.cc; - fi; git commit-tree "$@"' -git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "tom.igoe@gmail.com" ]; - then export GIT_AUTHOR_EMAIL=t.igoe@arduino.cc; - fi; git commit-tree "$@"' -git filter-branch -f --commit-filter 'if [ "$GIT_AUTHOR_EMAIL" = "facchinm@users.noreply.github.com" ]; - then export GIT_AUTHOR_EMAIL=m.facchin@arduino.cc; - fi; git commit-tree "$@"' - -git remote add origin git@github.com:arduino-libraries/$LIB.git -git fetch --all - -cd ../../Arduino - -git checkout master -git branch -D lib_$LIB -