Skip to content

Update contribution guide#262

Merged
mihaibudiu merged 1 commit into
feldera:mainfrom
mihaibudiu:contrib
Jun 20, 2023
Merged

Update contribution guide#262
mihaibudiu merged 1 commit into
feldera:mainfrom
mihaibudiu:contrib

Conversation

@mihaibudiu

Copy link
Copy Markdown
Contributor

Also reduce verbosity of a demo test

@mihaibudiu mihaibudiu requested review from gz and ryzhyk and removed request for ryzhyk June 20, 2023 21:56
Comment thread CONTRIBUTING.md Outdated
- Push your changes to a topic branch in the repository or a fork if you don't have commit access to (the reason that pushing directly to the repo is preferred is because then CI will be able to add benchmark results to the PR in the comments).
- Push your changes to a topic branch in the repository (push to your fork if
you don't have commit access to the dbsp repository --- pushing directly
to the repo is preferred is because then CI will be able to add benchmark

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

typo

Comment thread CONTRIBUTING.md

## Contribution Flow

### Forking

Copy link
Copy Markdown
Contributor

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

This is kind of redundant, since forking is the standard way to contribute for external contributors, but I'm ok with being verbose.

Signed-off-by: Mihai Budiu <mbudiu@feldera.com>
@mihaibudiu mihaibudiu merged commit 57b5dc1 into feldera:main Jun 20, 2023
@mihaibudiu mihaibudiu deleted the contrib branch June 20, 2023 23:01
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.

2 participants