## #TODO this should go into the lively4-server (or something)

# git subtree push -P src/external/lively.graphics https://github.com/LivelyKernel/lively.graphics.git master
# git subtree push -P src/external/lively.lang https://github.com/LivelyKernel/lively.lang.git master
git subtree push -P src/external/active-expressions https://github.com/LivelyKernel/active-expressions.git master