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.

Sign up for GitHub

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

Jump to bottom

Fixing Contributors Guide #1100

Closed
wants to merge 6 commits into from
Closed

Fixing Contributors Guide #1100

wants to merge 6 commits into from

Conversation

dav9
Copy link

@dav9 dav9 commented Dec 3, 2023

Fixes commands in contributors

Proposed Changes

  • --all-extras are needed because they add the docker package
  • add black in dev group (used in format_codestyle)

Docs and Tests

  • Tests added
  • Updated documentation

@ademariag ademariag self-requested a review December 4, 2023 13:59
@ademariag
Copy link
Contributor

@dav9 could you fix the linter and resolve the conflict?

@github-actions github-actions bot added the Stale label Feb 17, 2024
@github-actions github-actions bot removed the Stale label May 10, 2024
@github-actions github-actions bot added the Stale label Jul 9, 2024
@ademariag ademariag mentioned this pull request Sep 1, 2024
Merged
2 tasks
@ademariag ademariag closed this Sep 1, 2024
ademariag added a commit that referenced this pull request Sep 1, 2024
@ademariag
Fix doc on how to contribute (from #1100) (#1227)
ae476d0 
Fixes #1100

## Proposed Changes

*

## Docs and Tests

* [ ] Tests added
* [ ] Updated documentation
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@ademariag ademariag ademariag approved these changes

Assignees
No one assigned
Labels
Stale
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
2 participants
@dav9 @ademariag