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

Update CONTRIBUTING.md #5335

Merged
merged 11 commits into from Jul 22, 2023
Merged

Update CONTRIBUTING.md #5335

merged 11 commits into from Jul 22, 2023

Conversation

sw005320
Copy link
Contributor

@sw005320 sw005320 commented Jul 22, 2023

  • restart a check from section 6
  • remove travis and circle ci related parts

@sw005320 sw005320 added this to the v.202307 milestone Jul 22, 2023
@sw005320 sw005320 marked this pull request as draft July 22, 2023 03:36
@mergify
Copy link
Contributor

mergify bot commented Jul 22, 2023

This pull request is now in conflict :(

@mergify mergify bot added the conflicts label Jul 22, 2023
@mergify mergify bot removed the conflicts label Jul 22, 2023
@mergify mergify bot added the mergify label Jul 22, 2023
@sw005320 sw005320 marked this pull request as ready for review July 22, 2023 16:09
@sw005320 sw005320 closed this Jul 22, 2023
@sw005320 sw005320 reopened this Jul 22, 2023
@sw005320 sw005320 added the auto-merge Enable auto-merge label Jul 22, 2023
@sw005320 sw005320 merged commit 2f87a2c into master Jul 22, 2023
25 checks passed
@sw005320 sw005320 deleted the sw005320-patch-3 branch July 22, 2023 19:07
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.

None yet

1 participant