Proposal of reducing the size of this repository about drivecommand

[tiwanari]

i also noticed that the history of some old *.jar files (e.g., android.jar) takes up substantial volume.

[mandaiy]

👍

[tiwanari]

I made a simple script.

#!/bin/sh
TARGETS=(
  "libs"
  "lib"
  "design"
  "doc"
  "coverage-report"
)
target=$(printf " %s" "${TARGETS[@]}")
target=${target:1}

git filter-branch -f --index-filter "git rm -f -r --cached --ignore-unmatch ${target}" -- --all

and before&after is

[ tatsuya@tatsuyas-MBP ] drivecommand# du -sh .git/objects
 20M	.git/objects

to

[ tatsuya@tatsuyas-MBP ] drivecommand-clean-tmp-check# du -sh .git/objects
672K	.git/objects

[tiwanari]

It looks good, doesn't it? 🎉

I will force push if you give me an approval! :)

[tiwanari]

I checked it can be built (./gradlew build javadoc). If you want to check, it is here.

[tiwanari]

Then, let me push :)

[tiwanari]

I pushed them 😎