<commit_before><?php

class ConnectionException extends RuntimeException { }

class GitHubAPIException extends RuntimeException { }

class GitHubAPIRateLimitException extends GitHubAPIException { }

class GitHub
{
    // The GitHub API requires a user-agent
    private $userAgent = 'RandomGit/1.0 (<EMAIL>)';
    
    // Repositories with a number of stars below minStars are considered to be "not interesting"<commit_msg>Removed version number from User-Agent<commit_after><?php

class ConnectionException extends RuntimeException { }

class GitHubAPIException extends RuntimeException { }

class GitHubAPIRateLimitException extends GitHubAPIException { }

class GitHub
{
    // The GitHub API requires a user-agent
    private $userAgent = 'RandomGit (<EMAIL>)';
    
    // Repositories with a number of stars below minStars are considered to be "not interesting"
{'fraction_non_alphanumeric': 0.06805074971164937, 'fraction_numerical': 0.002306805074971165, 'mean_word_length': 4.564102564102564, 'pattern_counts': {'":': 0, '<': 7, '<?xml version=': 0, '>': 5, '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': '1167551', 'n_tokens_mistral': 230, 'n_tokens_neox': 217, 'n_words': 81}