<commit_before><!DOCTYPE html>
<html>
<head>
  <title>We're sorry, but something went wrong (500)</title>
  <meta name="viewport" content="width=device-width,initial-scale=1">
  <style>
  body {
    background-color: #6CABF7;
    color: #fff;
    text-align: center;
    font-family: arial, sans-serif;
    margin: 0;
  }
  div {
    position:absolute;
    top: 50%;
    left: 50%;
    transform: translateX(-50%) translateY(-50%);
  }
  p {
    color: #eee;
  }
  </style>

  <script>
    /* Attempt to automatically reload, assuming there's a temporary gateway issue */
    var retry_current = 2; // First refresh at 2 seconds
    var retry_limit = 4096; // Maximum backoff time, ~68 minutes

    check_gateway = function () {

      var request = new XMLHttpRequest();
      request.open('HEAD', window.location.href, true);

      request.onload = function () {

        console.dir(window.location.href, 'returned', request.status);

        if (request.status >= 200 && request.status < 400) {
          window.location.reload(true);
        } else {
          if (retry_current < retry_limit) {
            retry_current *= 2;
          }

          console.dir('Trying', window.location.href, 'in', retry_current, 'seconds...');
          setTimeout(check_gateway, retry_current * 1000);
        }
      };

      request.send();
    };

    setTimeout(check_gateway, retry_current * 1000);
  </script>
</head><commit_msg>Remove console calls<commit_after><!DOCTYPE html>
<html>
<head>
  <title>We're sorry, but something went wrong (500)</title>
  <meta name="viewport" content="width=device-width,initial-scale=1">
  <style>
  body {
    background-color: #6CABF7;
    color: #fff;
    text-align: center;
    font-family: arial, sans-serif;
    margin: 0;
  }
  div {
    position:absolute;
    top: 50%;
    left: 50%;
    transform: translateX(-50%) translateY(-50%);
  }
  p {
    color: #eee;
  }
  </style>

  <script>
    /* Attempt to automatically reload, assuming there's a temporary gateway issue */
    var retry_current = 2; // First refresh at 2 seconds
    var retry_limit = 4096; // Maximum backoff time, ~68 minutes

    check_gateway = function () {

      var request = new XMLHttpRequest();
      request.open('HEAD', window.location.href, true);

      request.onload = function () {

        console.dir(window.location.href, 'returned', request.status);

        if (request.status >= 200 && request.status < 400) {
          window.location.reload(true);
        } else {
          if (retry_current < retry_limit) {
            retry_current *= 2;
          }

          setTimeout(check_gateway, retry_current * 1000);
        }
      };

      request.send();
    };

    setTimeout(check_gateway, retry_current * 1000);
  </script>
</head>
{'fraction_non_alphanumeric': 0.1386388188692834, 'fraction_numerical': 0.027367662945624774, 'mean_word_length': 2.570694087403599, 'pattern_counts': {'":': 0, '<': 29, '<?xml version=': 0, '>': 27, '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': '3304652', 'n_tokens_mistral': 946, 'n_tokens_neox': 855, 'n_words': 210}