mirror of
https://github.com/RPCS3/discord-bot.git
synced 2026-07-19 13:54:44 -04:00
[PR #6] [MERGED] Updates #126
Reference in New Issue
Block a user
Delete Branch "%!s()"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
📋 Pull Request Information
Original PR: https://github.com/RPCS3/discord-bot/pull/6
Author: @Nicba1010
Created: 2/4/2018
Status: ✅ Merged
Merged: 2/4/2018
Merged by: @Nicba1010
Base:
master← Head:master📝 Commits (10+)
2e65a7aLowercase code fixfa6ea94Lowercase code fixc404c08Updating !latest2462201Stupid autocompletebcbd970Math & Fix Gamecodesc5b2772Sqrtf289728Code fixfed5836Stupid mistake1f139efStupid mistakea41c6c9Reformat to spaces + fix lehvenstein hopefully📊 Changes
9 files changed (+638 additions, -492 deletions)
View changed files
📝
api/config.py(+60 -60)📝
api/request.py(+185 -185)📝
api/response.py(+74 -72)📝
api/result.py(+23 -23)📝
api/utils.py(+5 -5)📝
bot.py(+153 -138)📝
bot_config.py(+1 -1)➕
math_parse.py(+129 -0)📝
utils.py(+8 -8)📄 Description
No description provided
🔄 This issue represents a GitHub Pull Request. It cannot be merged through Gitea due to API limitations.