minor: remove sevntu github.io repo as all artifacts are in global repo
minor: remove sevntu github.io repo as all artifacts are in global repo

rnveach/checkstyle,checkstyle/checkstyle,rnveach/checkstyle,rnveach/checkstyle,checkstyle/checkstyle,romani/checkstyle,checkstyle/checkstyle,romani/checkstyle,checkstyle/checkstyle,rnveach/checkstyle,romani/checkstyle,romani/checkstyle,checkstyle/checkstyle,romani/checkstyle,romani/checkstyle,checkstyle/checkstyle,rnveach/checkstyle,rnveach/checkstyle