From d3d5a481596d5b4c52146b9a1297ebc117e42aa9 Mon Sep 17 00:00:00 2001
From: Matthijs Kooijman <matthijs@stdin.nl>
Date: Thu, 7 May 2020 17:43:31 +0200
Subject: [PATCH] Remove lib_sync script

It seems this script was used to extract libraries, along with their
history, from the libraries directory of this repository. Since then,
all libraries have been extracted and then deleted in commit 067d7e925
(Delete builtin libraries sources), so no need to keep this script
around.
---
 lib_sync | 48 ------------------------------------------------
 1 file changed, 48 deletions(-)
 delete mode 100755 lib_sync

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
-