Replacing git-subrepo with josh-filter

To initialize (with single to get a clean history in the current repository): 1 ➜ git remote add hzeon git@github.com:HaoZeke/eOn 2 ➜ git fetch hzeon doCIdimer 3 josh-filter ':prefix=subrepos/eOn' FETCH_HEAD --single 4 git merge --allow-unrelated FILTERED_HEAD Changes can be made within the sub-repo. 1 echo "blah" > subrepos/eOn/blah 2 git add subrepos/eOn/blah 3 git commit -m "blah" When changes…