Revert "test of github hook"

This reverts commit 707e9adb35127410f9fa4cfce40a07490dcde1ae.