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

Separating out Development guide #2456

Merged
merged 46 commits into from
Feb 1, 2024
Merged

Separating out Development guide #2456

merged 46 commits into from
Feb 1, 2024

Conversation

andriitserkovnyi
Copy link
Collaborator

PR Description

Created a separate dev guide
Partially moved dev guide to a separate guide

Checklist

  • I agree with the Code Contribution License Agreement in CONTRIBUTING.md

@andriitserkovnyi andriitserkovnyi self-assigned this Jan 30, 2024
@andriitserkovnyi andriitserkovnyi added the updated PR contains meaningful changes to some document label Jan 30, 2024
@andriitserkovnyi andriitserkovnyi merged commit e225d52 into master Feb 1, 2024
13 of 14 checks passed
@andriitserkovnyi andriitserkovnyi deleted the development-guide branch February 1, 2024 09:42
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
updated PR contains meaningful changes to some document
Development

Successfully merging this pull request may close these issues.

1 participant