<commit_before><!DOCTYPE html>
<html lang="en-au">
  <head>
    <style>
    div {
      margin-top: 5px;
      margin-bottom: 5px;
      margin-left: 5%;
      margin-right: 5%;
    }
    h1, p {
      width: 90%;
      font-family: Roboto, Helvetica, 'Helvetica Neue', Arial, sans-serif;
    }
    </style>
    <script>
      if(window.location.protocol === 'http:') {
        window.location = window.location.toString().replace('http', 'https');
      }
    </script>
  </head>
  <body>
    <div>
     <h1 contenteditable>Your title here</h1>
     <p contenteditable>Your body content here. To save, just press Ctrl/Cmd+S</p>
    </div>
  </body>
</html>
<commit_msg>GitHub now lets us server-side force HTTPS<commit_after><!DOCTYPE html>
<html lang="en-au">
  <head>
    <style>
    div {
      margin-top: 5px;
      margin-bottom: 5px;
      margin-left: 5%;
      margin-right: 5%;
    }
    h1, p {
      width: 90%;
      font-family: Roboto, Helvetica, 'Helvetica Neue', Arial, sans-serif;
    }
    </style>
  </head>
  <body>
    <div>
     <h1 contenteditable>Your title here</h1>
     <p contenteditable>Your body content here. To save, just press Ctrl/Cmd+S</p>
    </div>
  </body>
</html>

{'fraction_non_alphanumeric': 0.16169154228855723, 'fraction_numerical': 0.014925373134328358, 'mean_word_length': 2.352777777777778, 'pattern_counts': {'":': 0, '<': 35, '<?xml version=': 0, '>': 35, 'https://': 0, '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': '5466087', 'n_tokens_mistral': 463, 'n_tokens_neox': 441, 'n_words': 107}