Skip to content

Comments

Update PR guideline docs#2889

Merged
battermann merged 2 commits intodevelopfrom
battermann/update-pr-guideline-docs
Nov 30, 2022
Merged

Update PR guideline docs#2889
battermann merged 2 commits intodevelopfrom
battermann/update-pr-guideline-docs

Conversation

@battermann
Copy link
Contributor

@battermann battermann commented Nov 30, 2022

Checklist

  • Add a new entry in an appropriate subdirectory of changelog.d
  • Read and follow the PR guidelines

@battermann battermann temporarily deployed to cachix November 30, 2022 15:59 Inactive
@battermann battermann temporarily deployed to cachix November 30, 2022 15:59 Inactive
@zebot zebot added the ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist label Nov 30, 2022
@battermann battermann temporarily deployed to cachix November 30, 2022 16:01 Inactive
@battermann battermann temporarily deployed to cachix November 30, 2022 16:01 Inactive
@battermann battermann force-pushed the battermann/update-pr-guideline-docs branch from 75a4673 to 90895a4 Compare November 30, 2022 16:03
@battermann battermann temporarily deployed to cachix November 30, 2022 16:03 Inactive
@battermann battermann temporarily deployed to cachix November 30, 2022 16:03 Inactive
@battermann battermann requested a review from smatting November 30, 2022 16:03
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

ok-to-test Approved for running tests in CI, overrides not-ok-to-test if both labels exist

Projects

None yet

Development

Successfully merging this pull request may close these issues.

3 participants