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

Feat(ci): Add stale bot #860

Merged
merged 3 commits into from
May 15, 2024
Merged

Feat(ci): Add stale bot #860

merged 3 commits into from
May 15, 2024

Conversation

hoangdv2429
Copy link
Contributor

@hoangdv2429 hoangdv2429 commented May 14, 2024

PR Standards

This PR add stale bot CI to automatically mark PR as stale after 8 days and close PR after 11 days without activity. Except PR with "security, proposal, blocked, dym-internal" labels.

Another CI workflow will check opened, synchronize PR and mark those PR as dym-internal to exclude it from being mark and close.


For Author:

  • Targeted PR against correct branch
  • included the correct type prefix in the PR title
  • Linked to Github issue with discussion and accepted design
  • Targets only one github issue
  • Wrote unit and integration tests
  • All CI checks have passed
  • Added relevant godoc comments

For Reviewer:

  • confirmed the correct type prefix in the PR title
  • Reviewers assigned
  • confirmed all author checklist items have been addressed

After reviewer approval:

  • In case targets main branch, PR should be squashed and merged.
  • In case PR targets a release branch, PR should be rebased.

@hoangdv2429 hoangdv2429 requested a review from a team as a code owner May 14, 2024 14:09
@hoangdv2429 hoangdv2429 changed the title add stale bot Feat(ci): Add stale bot May 14, 2024
mtsitrin
mtsitrin previously approved these changes May 15, 2024
@danwt
Copy link
Contributor

danwt commented May 15, 2024

nice

@mtsitrin mtsitrin merged commit fcc2b15 into main May 15, 2024
3 checks passed
@mtsitrin mtsitrin deleted the hoang/stalebot branch May 15, 2024 17:52
omritoptix pushed a commit that referenced this pull request May 18, 2024
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants