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.

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

chore: disable stale bot #7200

Merged
merged 1 commit into from
Oct 15, 2024
Merged

chore: disable stale bot #7200

merged 1 commit into from
Oct 15, 2024

Conversation

Chriscbr
Copy link
Contributor

Disable automatic pruning of old issues for now to prevent issues from being closed automatically.

Checklist

  • Title matches Winglang's style guide
  • Description explains motivation and solution
  • Tests added (always)
  • Docs updated (only required for features)
  • Added pr/e2e-full label if this feature requires end-to-end testing

By submitting this pull request, I confirm that my contribution is made under the terms of the Wing Cloud Contribution License.

@Chriscbr Chriscbr requested a review from a team as a code owner October 14, 2024 21:04
Copy link

Thanks for opening this pull request! 🎉
Please consult the contributing guidelines for details on how to contribute to this project.
If you need any assistance, don't hesitate to ping the relevant owner over Discord.

Topic Owner
Wing SDK and standard library @chriscbr
Wing Console @skyrpex
Wing compiler and language design @chriscbr
VSCode extension and language server @chriscbr
Wing CLI @chriscbr
Documentation @boyney123
Examples @boyney123
Wing Playground @skyrpex

Copy link
Contributor

mergify bot commented Oct 15, 2024

Thanks for contributing, @Chriscbr! This PR will now be added to the merge queue, or immediately merged if rybickic/close-stale is up-to-date with main and the queue is empty.

@mergify mergify bot merged commit 1fcd84e into main Oct 15, 2024
15 checks passed
@mergify mergify bot deleted the rybickic/close-stale branch October 15, 2024 05:07
@monadabot
Copy link
Contributor

Congrats! 🚀 This was released in Wing 0.85.23.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants