Revert "Revert "Push source code to github""

This reverts commit c4cf5cd020aa8348437de00be49f0467fb69db74.