Skip to content

Conversation

JasonHe-WQ
Copy link

@JasonHe-WQ JasonHe-WQ commented May 6, 2023

Proposed changes

Updated README.md in issue#3874.

Checklist

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

  • I have read the CONTRIBUTING doc
  • I have added tests that prove my fix is effective or that my feature works
  • I have checked that all unit tests pass after adding my changes
  • I have updated necessary documentation
  • I have rebased my branch onto main
  • I will ensure my PR is targeting the main branch and pulling from my branch from my own fork

@JasonHe-WQ JasonHe-WQ requested a review from a team as a code owner May 6, 2023 07:35
@github-actions github-actions bot added the documentation Pull requests/issues for documentation label May 6, 2023
@JasonHe-WQ JasonHe-WQ mentioned this pull request May 6, 2023
@lucacome
Copy link

this was done in #3869

@lucacome lucacome closed this May 16, 2023
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.

2 participants