Revert "copy prototype into git"

This reverts commit 29cd47bb842a485ce5ea49ea4f7e4c23c18b3277.
Revert "Revert "copy prototype into git""

This reverts commit 40cae4890fd20da4bb69c5a92f082d9b21be0a46.