Revert "Testing Jenkins/GitHub integration"

This reverts commit 32316bd0a151239522ca14b2175951cab1b3c825.