Skip to content

Conversation

@akihironitta
Copy link
Contributor

@akihironitta akihironitta commented Mar 16, 2022

What does this PR do?

Removes triage devbot and docs link workflow.

Does your PR introduce any breaking changes? If yes, please list them.

None

Before submitting

  • [RFC] Was this discussed/approved via a GitHub issue? (not for typos and docs)
  • Did you read the contributor guideline, Pull Request section?
  • Did you make sure your PR does only one thing, instead of bundling different changes together?
  • [n/a] Did you make sure to update the documentation with your changes? (if necessary)
  • [n/a] Did you write any new necessary tests? (not for typos and docs)
  • [n/a] Did you verify new and existing tests pass locally with your changes?
  • [n/a] Did you list all the breaking changes introduced by this pull request?
  • [n/a] Did you update the CHANGELOG? (not for typos, docs, test updates, or internal minor changes/refactorings)

PR review

Anyone in the community is welcome to review the PR.
Before you start reviewing make sure you have read Review guidelines. In short, see the following bullet-list:

  • Is this pull request ready for review? (if not, please submit in draft mode)
  • Check that all items from Before submitting are resolved
  • Make sure the title is self-explanatory and the description concisely explains the PR
  • Add labels and milestones (and optionally projects) to the PR so it can be classified

Did you have fun?

Make sure you had fun coding 🙃

cc @carmocca @akihironitta @Borda

@akihironitta akihironitta added the ci Continuous Integration label Mar 16, 2022
@akihironitta
Copy link
Contributor Author

@carmocca Just an idea, but since devbot didn't work, could we maybe have a default label "needs triage" for all issue templates? In this way, core contributors can remove the default label and add other labels when creating issues.

@mergify mergify bot added the ready PRs ready to be merged label Mar 19, 2022
@mergify mergify bot requested a review from a team March 19, 2022 19:14
@carmocca
Copy link
Contributor

@akihironitta we can do this as a simpler solution for the time being since the bot did not work.

@carmocca carmocca enabled auto-merge (squash) March 21, 2022 17:22
auto-merge was automatically disabled March 23, 2022 12:51

Pull request was closed

@rohitgr7 rohitgr7 deleted the ci/remove-devbot branch March 23, 2022 12:52
@akihironitta akihironitta restored the ci/remove-devbot branch March 25, 2022 01:59
@akihironitta akihironitta reopened this Mar 25, 2022
@akihironitta akihironitta changed the title Remove unused devbot and workflow Remove unused devbot Mar 25, 2022
@akihironitta akihironitta enabled auto-merge (squash) March 25, 2022 02:03
Copy link
Contributor

@krshrimali krshrimali left a comment

Choose a reason for hiding this comment

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

🚀

@akihironitta akihironitta merged commit cf35182 into master Mar 25, 2022
@akihironitta akihironitta deleted the ci/remove-devbot branch March 25, 2022 02:54
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ci Continuous Integration ready PRs ready to be merged

Projects

None yet

Development

Successfully merging this pull request may close these issues.

6 participants