2017-10-05 09:53:36 -05:00
|
|
|
#!/bin/sh
|
|
|
|
|
|
2017-12-12 05:08:21 -06:00
|
|
|
if [ $# -eq 0 ]
|
|
|
|
|
then
|
|
|
|
|
echo "$0 <repository url>..."
|
|
|
|
|
exit
|
|
|
|
|
fi
|
|
|
|
|
|
2017-10-05 09:53:36 -05:00
|
|
|
# Import repositories into this mono-repo.
|
|
|
|
|
#
|
|
|
|
|
# For each repository:
|
|
|
|
|
#
|
|
|
|
|
# 1. rewrite history, moving all files into packages/<repository>
|
|
|
|
|
# 2. rename all tags: <tag> → <repository>-<tag>
|
|
|
|
|
# 3. merge with master
|
2017-12-12 05:08:21 -06:00
|
|
|
for url
|
2017-10-05 09:53:36 -05:00
|
|
|
do
|
2017-12-12 05:08:21 -06:00
|
|
|
pkg=$(basename "$url" .git)
|
2017-10-05 09:53:36 -05:00
|
|
|
[ -d "packages/$pkg" ] || { {
|
|
|
|
|
[ -f ".git/refs/remotes/$pkg/master" ] || \
|
2017-12-12 05:08:21 -06:00
|
|
|
git remote add "$pkg" "$url"
|
2017-10-05 09:53:36 -05:00
|
|
|
} && {
|
|
|
|
|
git fetch --no-tags "$pkg" master refs/tags/*:refs/tags/"$pkg"-* && \
|
|
|
|
|
git filter-branch -f --index-filter '
|
|
|
|
|
git ls-files -s | \
|
|
|
|
|
sed "s%\t\"*%&packages/'"$pkg"'/%" | \
|
|
|
|
|
GIT_INDEX_FILE=$GIT_INDEX_FILE.new \
|
|
|
|
|
git update-index --index-info && \
|
|
|
|
|
mv "$GIT_INDEX_FILE.new" "$GIT_INDEX_FILE"
|
|
|
|
|
' --tag-name-filter 'cat' "$pkg/master" && \
|
|
|
|
|
git merge --allow-unrelated-histories "$pkg/master"
|
|
|
|
|
git remote rm "$pkg"
|
|
|
|
|
} }
|
|
|
|
|
done
|
