Revert "First test of GitHub"

This reverts commit a560dbadbb8c4750fc09a8e32ea111405e5b3158.