added a test, to see if pushing to github works