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

Rename monadabot to wingbot #6409

Open
MarkMcCulloh opened this issue May 4, 2024 · 0 comments
Open

Rename monadabot to wingbot #6409

MarkMcCulloh opened this issue May 4, 2024 · 0 comments
Labels
👷‍♀️ contributor-experience Improvements for contributors' experience

Comments

@MarkMcCulloh
Copy link
Contributor

The name monadabot came from Monada, which is no longer a thing that exists. So let's change the bot user we use for automation to wingbot instead.

This bot and its personal token are used in several places and sometimes explicitly by name. So changing this name will break several workflows until everything is updated.
@MarkMcCulloh MarkMcCulloh added the 👷‍♀️ contributor-experience Improvements for contributors' experience label May 4, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
👷‍♀️ contributor-experience Improvements for contributors' experience
Projects
Wing
Status: 🤝 Backlog - handoff to owners
Milestone
No milestone
Development

No branches or pull requests
1 participant
@MarkMcCulloh