mirror of
https://github.com/arduino/Arduino.git
synced 2024-11-30 11:24:12 +01:00
49 lines
1.4 KiB
Bash
Executable File
49 lines
1.4 KiB
Bash
Executable File
#!/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
|
|
|