Skip to content
This repository was archived by the owner on Nov 30, 2021. It is now read-only.

actions: stale bot #415

Merged
merged 5 commits into from
Jul 28, 2020
Merged

actions: stale bot #415

merged 5 commits into from
Jul 28, 2020

Conversation

fedekunze
Copy link
Contributor

@fedekunze fedekunze commented Jul 27, 2020

Description

Installs the stale Github Action


For contributor use:

  • Targeted PR against correct branch (see CONTRIBUTING.md)
  • Linked to Github issue with discussion and accepted design OR link to spec that describes this work.
  • Code follows the module structure standards.
  • Wrote unit and integration tests
  • Updated relevant documentation (docs/) or specification (x/<module>/spec/)
  • Added relevant godoc comments.
  • Added a relevant changelog entry to the Unreleased section in CHANGELOG.md
  • Re-reviewed Files changed in the Github PR explorer

For admin use:

  • Added appropriate labels to PR (ex. WIP, R4R, docs, etc)
  • Reviewers assigned
  • Squashed all commits, uses message "Merge pull request #XYZ: [title]" (coding standards)

@fedekunze fedekunze merged commit 0dc45bc into development Jul 28, 2020
@fedekunze fedekunze deleted the stale-bot branch July 28, 2020 14:04
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants