Revert "clone on github"

This reverts commit 8221c9e31c8fadb4b9b4bf649ca2dc77b232e610.