Skip to content

Conversation

lucacome
Copy link
Contributor

Proposed changes

Adds release process

Checklist

Before creating a PR, run through this checklist and mark each as complete.

  • I have read the CONTRIBUTING guide
  • I have proven my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have ensured the README is up to date
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch on my own fork

@lucacome lucacome requested a review from a team as a code owner July 17, 2024 18:32
@github-actions github-actions bot added the documentation Pull requests/issues for documentation label Jul 17, 2024
Co-authored-by: Saylor Berman <[email protected]>
Signed-off-by: Luca Comellini <[email protected]>
@lucacome lucacome requested a review from a team July 17, 2024 19:22
@lucacome lucacome enabled auto-merge (squash) July 18, 2024 06:46
@lucacome lucacome merged commit 8bca754 into main Jul 18, 2024
15 checks passed
@lucacome lucacome deleted the docs/release-process branch July 18, 2024 06:47
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
documentation Pull requests/issues for documentation
Projects
None yet
Development

Successfully merging this pull request may close these issues.

3 participants