Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

Add ping team command #92

Merged
merged 2 commits into from
Sep 1, 2023
Merged

Add ping team command #92

merged 2 commits into from
Sep 1, 2023

Conversation

ChrisLovering
Copy link
Member

No description provided.

@python-discord-policy-bot python-discord-policy-bot bot requested a review from a team August 31, 2023 20:06
vivekashok1221
vivekashok1221 approved these changes Aug 31, 2023
View reviewed changes
Copy link
Member

@vivekashok1221 vivekashok1221 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

LGTM.

ichard26
ichard26 requested changes Sep 1, 2023
View reviewed changes
Copy link
Member

@ichard26 ichard26 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This seems to be quite broken...?

bot/exts/code_jams/_cog.py Outdated Show resolved Hide resolved
ichard26
ichard26 requested changes Sep 1, 2023
View reviewed changes
bot/exts/code_jams/_cog.py Outdated Show resolved Hide resolved
@ichard26 ichard26 added High Priority For time-sensitive and otherwise urgent items Waiting for Author Feature author has outstanding tasks Area: Code Jam labels Sep 1, 2023
@ichard26 ichard26 removed the Waiting for Author Feature author has outstanding tasks label Sep 1, 2023
ichard26
ichard26 approved these changes Sep 1, 2023
View reviewed changes
Copy link
Member

@ichard26 ichard26 left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

From now on, let's exclusively test in production. It will reduce our time to deployment 🥇

Base automatically changed from bump-bot-core to main September 1, 2023 17:00
@ChrisLovering ChrisLovering merged commit 0169ca7 into main Sep 1, 2023
3 checks passed
@ChrisLovering ChrisLovering deleted the add-ping-team-command branch September 1, 2023 17:00
@ChrisLovering ChrisLovering temporarily deployed to production September 1, 2023 17:01 — with GitHub Actions Inactive
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ichard26 ichard26 ichard26 approved these changes

@vivekashok1221 vivekashok1221 vivekashok1221 approved these changes

@jchristgit jchristgit jchristgit approved these changes

Assignees
No one assigned
Labels
Area: Code Jam High Priority For time-sensitive and otherwise urgent items
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
4 participants
@ChrisLovering @jchristgit @vivekashok1221 @ichard26