Revert "Practice pushing with git (Calvin)"

This reverts commit 47027fdcc7058252cbb37f35b5c284ce4f0bf2b9.