Git export from edX. This likely doesn't work.