2024-08-07 22:15:39 +01:00
# Matchy
2024-08-09 23:33:39 +01:00
Matchy matches matchees.
2024-08-10 22:49:50 +01:00

2024-08-09 23:33:39 +01:00
Matchy is a Discord bot that groups up users for fun and vibes. Matchy can be installed by clicking [here ](https://discord.com/oauth2/authorize?client_id=1270849346987884696 ).
2024-08-08 17:16:59 +01:00
## Commands
2024-08-10 22:04:21 +01:00
### /match [group_min: int(3)] [matchee_role: str(@Matchee)]
Matches groups of users with a given role and posts those groups to the channel. Tracks historical matches and attempts to match users to make new connections with people with divergent roles, in an attempt to maximise diversity.
2024-08-09 23:33:39 +01:00
2024-08-10 22:04:21 +01:00
### $sync and $close
Only usable by `OWNER` users, reloads the config and syncs commands, or closes down the bot. Only usable in DMs with the bot user.
2024-08-07 22:15:39 +01:00
## Dependencies
2024-08-10 22:04:21 +01:00
* `python3` - Obviously
### Python modules
* `discord.py` - Discord bot functionality
* `pytest` - Testing
* `schema` - File format validation
* `pytest-cov` - Code coverage testing
2024-08-08 00:09:30 +01:00
2024-08-09 23:33:39 +01:00
## Config
2024-08-10 22:04:21 +01:00
Matchy is configured by a `config.json` file that takes this format:
2024-08-09 23:33:39 +01:00
```
2024-08-10 22:04:21 +01:00
{
"token": "< < github bot token > >",
"owners": [
< < owner id > >
]
}
2024-08-09 23:33:39 +01:00
```
User IDs can be grabbed by turning on Discord's developer mode and right clicking on a user.
## TODO
* Write bot tests with [dpytest ](https://dpytest.readthedocs.io/en/latest/tutorials/getting_started.html )
* Add scheduling functionality
* Improve the weirdo