<commit_before>; DO NOT OPEN THIS FILE WITH NOTEPAD.  If you don't have a preferred text
; editor, use Atom or notepad++ or any other modern text editor.
;
; If you edit example_options.ini, Save-As options.ini
;
; This is the main configuration file for MusicBot.  You will need to edit
; this file when you setup the bot. The bot must be restarted for edits to
; take effect, but a reload command will be created in the future.
; Currently the bot does not overwrite any settings, but this may change in a
; future update.


; HOW TO GET VARIOUS IDS:
; http://i.imgur.com/GhKpBMQ.gif
; Enable developer mode (options, settings, appearance), right click the
; object you want the id of, and click Copy ID
; For roles you have to use the listids command.


[Credentials]
; If you have a bot account (which you should), you can find your token here:
;     https://discordapp.com/developers/applications/me/
; Then click the button for your bot to go to the bot's page.
; Make sure "Require OAuth2 Code Grant" is unchecked.  You also do not need to
; add any "Redirect URIs" or "RPC Origins".
;
Token = bot_token

; If you want to use a normal user account instead of a bot account, use these
; options instead. Comment (or delete) the token line and uncomment the
; Email/Password lines.
;
;Email = account@email
;Password = <PASSWORD>


[Permissions]
; This option is for setting which user has full* permissions/control of the
; bot.  Only one user can be set here. Additional users can be granted
; permissions in permissions.ini, read that for more details.
;
; You can use this option two different ways:
;
;   1. If set to "auto", the bot will set the owner to the owner of the
;      application/bot account.  This can only be used with bot accounts.
;
;   2. To set the owner to another user, this should be set to the user's ID.
;      Getting a user's ID is explained above.
;
;      Example:
;         OwnerID = 998877665544332211
;
;      TLDR: enable developer mode in discord, right click a user's name in
;            discord, Copy ID, paste here.
;
; * The owner is not automatically granted dev command access (see below)
;
OwnerID = auto

; This option is for developer use only.  Adding user ids here will allow the
; listed users to use commands marked as "Dev only".  These commands do not
; show up in the help command list, and include the "debug" command, which is
; used to run arbitrary code (very dangerous).  This should only be used when
; actively developing the bot.  Users with no interest in making changes to
; the bot's code should ignore this option completely.
;
; Note: The owner is NOT automatically added to this group.  These are special
; commands outside the scope of normal use.  Users must be explicitly added.
;
;DevIDs =


[Chat]
; Change this if you don't want commands to trigger another bot
; Example:
;   CommandPrefix = *
; This means the commands you use in chat are *play, *skip, etc.
;
; In case you were wondering, this explanation exists because some people
; haven't learned what "prefix" means.  Reminder, you do not list commands
; here.  That means you DO NOT put something like this:
;   "CommandPrefix = *play *queue *np *skip *clear..." etc.
;
CommandPrefix = !

; Restrict the bot to only listen to certain text channels.  Uncomment the
; line and add channel IDs to enable.  Getting channel IDs is explained above.
; Example:
;   BindToChannels = 1122334455667788 1223344556677889
; (Don't use these ids, they won't work)
;
;BindToChannels =

; Join a channel on startup.  Multiple channels can be added for multiple
; servers. Remember, use IDs, not names.  If both this option and AutoSummon
; are enabled, this option takes priority.
;
;AutojoinChannels =


[MusicBot]
; The starting volume of the bot.  You can use any value from 0.01 to 1.0
; 1.0 means unaltered, 0.25 is 25%, etc
DefaultVolume = 0.25

; Only allow whitelisted users to use commands.
; Deprecated in favor of permissions.
WhiteListCheck = no

;Increase the timeout if your musicbot won't connect
;This may sometimes appear as an UDP Error - needs to be a float value
Timeout = 10.0

; Skips required to skip a song.  Whichever is lower will be used.
; Skip ratio refers to the percent of non-deafened, non-owner users in the
; voice channel needed to skip a song.
SkipsRequired = 4
SkipRatio = 0.5
<commit_msg>Fixed naming<commit_after>; DO NOT OPEN THIS FILE WITH NOTEPAD.  If you don't have a preferred text
; editor, use Atom or notepad++ or any other modern text editor.
;
; If you edit example_options.ini, Save-As options.ini
;
; This is the main configuration file for MusicBot.  You will need to edit
; this file when you setup the bot. The bot must be restarted for edits to
; take effect, but a reload command will be created in the future.
; Currently the bot does not overwrite any settings, but this may change in a
; future update.


; HOW TO GET VARIOUS IDS:
; http://i.imgur.com/GhKpBMQ.gif
; Enable developer mode (options, settings, appearance), right click the
; object you want the id of, and click Copy ID
; For roles you have to use the listids command.


[Credentials]
; If you have a bot account (which you should), you can find your token here:
;     https://discordapp.com/developers/applications/me/
; Then click the button for your bot to go to the bot's page.
; Make sure "Require OAuth2 Code Grant" is unchecked.  You also do not need to
; add any "Redirect URIs" or "RPC Origins".
;
Token = bot_token

; If you want to use a normal user account instead of a bot account, use these
; options instead. Comment (or delete) the token line and uncomment the
; Email/Password lines.
;
;Email = <EMAIL>
;Password = <PASSWORD>


[Permissions]
; This option is for setting which user has full* permissions/control of the
; bot.  Only one user can be set here. Additional users can be granted
; permissions in permissions.ini, read that for more details.
;
; You can use this option two different ways:
;
;   1. If set to "auto", the bot will set the owner to the owner of the
;      application/bot account.  This can only be used with bot accounts.
;
;   2. To set the owner to another user, this should be set to the user's ID.
;      Getting a user's ID is explained above.
;
;      Example:
;         OwnerID = 998877665544332211
;
;      TLDR: enable developer mode in discord, right click a user's name in
;            discord, Copy ID, paste here.
;
; * The owner is not automatically granted dev command access (see below)
;
OwnerID = auto

; This option is for developer use only.  Adding user ids here will allow the
; listed users to use commands marked as "Dev only".  These commands do not
; show up in the help command list, and include the "debug" command, which is
; used to run arbitrary code (very dangerous).  This should only be used when
; actively developing the bot.  Users with no interest in making changes to
; the bot's code should ignore this option completely.
;
; Note: The owner is NOT automatically added to this group.  These are special
; commands outside the scope of normal use.  Users must be explicitly added.
;
;DevIDs =


[Chat]
; Change this if you don't want commands to trigger another bot
; Example:
;   CommandPrefix = *
; This means the commands you use in chat are *play, *skip, etc.
;
; In case you were wondering, this explanation exists because some people
; haven't learned what "prefix" means.  Reminder, you do not list commands
; here.  That means you DO NOT put something like this:
;   "CommandPrefix = *play *queue *np *skip *clear..." etc.
;
CommandPrefix = !

; Restrict the bot to only listen to certain text channels.  Uncomment the
; line and add channel IDs to enable.  Getting channel IDs is explained above.
; Example:
;   BindToChannels = 1122334455667788 1223344556677889
; (Don't use these ids, they won't work)
;
;BindToChannels =

; Join a channel on startup.  Multiple channels can be added for multiple
; servers. Remember, use IDs, not names.  If both this option and AutoSummon
; are enabled, this option takes priority.
;
;AutojoinChannels =


[MusicBot]
; The starting volume of the bot.  You can use any value from 0.01 to 1.0
; 1.0 means unaltered, 0.25 is 25%, etc
DefaultVolume = 0.25

; Only allow whitelisted users to use commands.
; Deprecated in favor of permissions.
WhiteListCheck = no

;Increase the timeout if your musicbot won't connect
;This may sometimes appear as an UDP Error - needs to be a float value
TimeOut = 10.0

; Skips required to skip a song.  Whichever is lower will be used.
; Skip ratio refers to the percent of non-deafened, non-owner users in the
; voice channel needed to skip a song.
SkipsRequired = 4
SkipRatio = 0.5

{'fraction_non_alphanumeric': 0.06757223437320134, 'fraction_numerical': 0.017036951767008174, 'mean_word_length': 3.641025641025641, 'pattern_counts': {'":': 0, '<': 6, '<?xml version=': 0, '>': 6, 'https://': 2, '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': '5293714', 'n_tokens_mistral': 2575, 'n_tokens_neox': 2417, 'n_words': 1329}