<commit_before># Configuration for the edugit scripts. Modify this as desired to change
# your defaults in the prompts
module TeachersPet
  class Configuration

    # For github.com: 'https://api.github.com/'
    # For GitHub Enterprise: 'https://yourServer.com/api/v3'
    @@API_ENDPOINT = 'https://api.github.com/'

    def self.apiEndpoint
      @@API_ENDPOINT
    end

    # For github.com: https://www.github.com/'
    # For GitHub Enterprise: ''https://yourServer.com/'
    @@WEB_ENDPOINT = 'https://www.github.com/'

    def self.webEndpoint
      @@WEB_ENDPOINT
    end

    # The name of your organization
    @@ORGANIZATION = 'edugit-test'

    def self.organization
      @@ORGANIZATION
    end

    # The name fo the file that contains the team definitions / students
    @@STUDENTS_FILE = './students'

    def self.studentsFile
      @@STUDENTS_FILE
    end

    # The name of the file that contains the GitHub usernames of the instructors
    @@INSTRUCTORS_FILE = 'instructors'

    def self.instructorsFile
      @@INSTRUCTORS_FILE
    end

    # The default is to create the repositories as public.
    # If you are using GitHub enterprise or a paid account, it make sense to make this private
    @@REPOS_PUBLIC = true

    def self.reposPublic
      @@REPOS_PUBLIC
    end

    # github.com - set to 'github.com'
    # GitHub Enterprise - 'yourserver.com'
    @@SSH_ENDPOINT = 'github.com'

    def self.sshEndpoint
      @@SSH_ENDPOINT
    end

    ## It is best to push remotes vis SSH, you can swith this to false to push as HTTPS
    @@REMOTE_SSH = true

    def self.remoteSsh
      @@REMOTE_SSH
    end

  end
end
<commit_msg>make instructors file prompt match that of the steudents'<commit_after># Configuration for the edugit scripts. Modify this as desired to change
# your defaults in the prompts
module TeachersPet
  class Configuration

    # For github.com: 'https://api.github.com/'
    # For GitHub Enterprise: 'https://yourServer.com/api/v3'
    @@API_ENDPOINT = 'https://api.github.com/'

    def self.apiEndpoint
      @@API_ENDPOINT
    end

    # For github.com: https://www.github.com/'
    # For GitHub Enterprise: ''https://yourServer.com/'
    @@WEB_ENDPOINT = 'https://www.github.com/'

    def self.webEndpoint
      @@WEB_ENDPOINT
    end

    # The name of your organization
    @@ORGANIZATION = 'edugit-test'

    def self.organization
      @@ORGANIZATION
    end

    # The name fo the file that contains the team definitions / students
    @@STUDENTS_FILE = './students'

    def self.studentsFile
      @@STUDENTS_FILE
    end

    # The name of the file that contains the GitHub usernames of the instructors
    @@INSTRUCTORS_FILE = './instructors'

    def self.instructorsFile
      @@INSTRUCTORS_FILE
    end

    # The default is to create the repositories as public.
    # If you are using GitHub enterprise or a paid account, it make sense to make this private
    @@REPOS_PUBLIC = true

    def self.reposPublic
      @@REPOS_PUBLIC
    end

    # github.com - set to 'github.com'
    # GitHub Enterprise - 'yourserver.com'
    @@SSH_ENDPOINT = 'github.com'

    def self.sshEndpoint
      @@SSH_ENDPOINT
    end

    ## It is best to push remotes vis SSH, you can swith this to false to push as HTTPS
    @@REMOTE_SSH = true

    def self.remoteSsh
      @@REMOTE_SSH
    end

  end
end

{'fraction_non_alphanumeric': 0.08751493428912784, 'fraction_numerical': 0.0005973715651135006, 'mean_word_length': 2.6521264994547438, 'pattern_counts': {'":': 0, '<': 3, '<?xml version=': 0, '>': 3, 'https://': 12, 'lorem ipsum': 0, 'www.': 4, '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': '3202259', 'n_tokens_mistral': 1121, 'n_tokens_neox': 1007, 'n_words': 338}