Choose develop branch for the coverage/build results on github