<commit_before>if [ "$CI_PULL_REQUEST" = "11992" ] || [ "$CI_BRANCH" = "no-reexports" ] || [ "$CI_BRANCH" = "no-reexports.r" ]; then

    compcert_CI_REF=no-reexports
    compcert_CI_GITURL=https://github.com/llelf/CompCert

    color_CI_REF=no-reexports
    color_CI_GITURL=https://github.com/llelf/color

    math_classes_CI_REF=no-reexports
    math_classes_CI_GITURL=https://github.com/llelf/math-classes

    equations_CI_REF=no-reexports
    equations_CI_GITURL=https://github.com/llelf/Coq-Equations

    ext_lib_CI_REF=no-reexports
    ext_lib_CI_GITURL=https://github.com/llelf/coq-ext-lib

    fiat_parsers_CI_REF=no-reexports
    fiat_parsers_CI_GITURL=https://github.com/llelf/fiat

fi
<commit_msg>do not re-export ListNotations from Program: vst overlay<commit_after>if [ "$CI_PULL_REQUEST" = "11992" ] || [ "$CI_BRANCH" = "no-reexports" ] || [ "$CI_BRANCH" = "no-reexports.r" ]; then

    compcert_CI_REF=no-reexports
    compcert_CI_GITURL=https://github.com/llelf/CompCert

    color_CI_REF=no-reexports
    color_CI_GITURL=https://github.com/llelf/color

    math_classes_CI_REF=no-reexports
    math_classes_CI_GITURL=https://github.com/llelf/math-classes

    equations_CI_REF=no-reexports
    equations_CI_GITURL=https://github.com/llelf/Coq-Equations

    ext_lib_CI_REF=no-reexports
    ext_lib_CI_GITURL=https://github.com/llelf/coq-ext-lib

    fiat_parsers_CI_REF=no-reexports
    fiat_parsers_CI_GITURL=https://github.com/llelf/fiat

    vst_CI_REF=no-reexports
    vst_CI_GITURL=https://github.com/llelf/VST

fi

{'fraction_non_alphanumeric': 0.12800519818063677, 'fraction_numerical': 0.00649772579597141, 'mean_word_length': 4.384615384615385, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 13, 'lorem ipsum': 0, 'www.': 0, 'xml': 0}, 'pii_count': 0, 'substrings_counts': 0, 'word_list_counts': {'cursed_substrings.json': 0, 'profanity_word_list.json': 0, 'sexual_word_list.json': 0, 'zh_pornsignals.json': 0}}
{'dir': 'git-commits-cleaned', 'id': '6431572', 'n_tokens_mistral': 675, 'n_tokens_neox': 645, 'n_words': 51}