(BIN) violation-comments-to-github.hpi