Merge branch 'tuncer-update-ci-badges'