Initial commit to test whether github settings are ok