2020 Coding Practice

Note: several git repos have been imported for convenience

Notes on importing subtree

git remote add XXX_remote

git fetch XXX_remote

git merge --allow-unrelated-histories -s ours --no-commit XXX_remote/master

git read-tree --prefix=ZZZ/ -u XXX_remote/master

git commit -m "Imported XXX as a subtree."

git remote rm XXX_remote

git push