Skip to content

Add a contributor guide#71

Merged
zoni merged 1 commit intomainfrom
contributing
Nov 5, 2022
Merged

Add a contributor guide#71
zoni merged 1 commit intomainfrom
contributing

Conversation

@zoni
Copy link
Owner

@zoni zoni commented Jan 16, 2022

This document aims to provide guidance which makes contributions easier by:

  1. Defining the expectations I have of submissions to the codebase and the pull request process.
  2. Helping users get set up for development on the code.
  3. Providing pointers to some areas of the codebase, as well as some design considerations to take into account when making changes.

@zoni zoni mentioned this pull request Jan 16, 2022
@zoni zoni merged commit 586530c into main Nov 5, 2022
@zoni zoni deleted the contributing branch November 5, 2022 13:15
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant