Skip to content

Commit

Permalink
Add WIP prefix to pull request title and update contribution guidelines
Browse files Browse the repository at this point in the history
  • Loading branch information
PhilipMay committed Dec 20, 2023
1 parent 732b9c9 commit e56bb94
Showing 1 changed file with 5 additions and 7 deletions.
12 changes: 5 additions & 7 deletions CONTRIBUTING.md
Original file line number Diff line number Diff line change
Expand Up @@ -55,7 +55,12 @@ This can be in the form of a bug report or issue, for example, or as a feature i
- Go to your forked repository on GitHub.
- Click the **Compare & pull request** button next to your `feature-branch-name`.
- Add a title and description for your pull request.
- A new pull request should have the prefix `[WIP]` (work in progress) in its title:
this indicates that you are still working on the PR.
- Click **Create pull request**.
- Check the results of the CI checks and make corrections if necessary.
- When the pull request is finished from your point of view, remove the WIP prefix.
Then write a short comment that you are finished with the PR and it can be reviewed.

### 8. Await Review

Expand All @@ -74,13 +79,6 @@ This can be in the form of a bug report or issue, for example, or as a feature i

TODO

## Manage your Pull Request

TODO

- a new pull request should have the prefix `[WIP]` (work in progress) in its title:
this indicates that you are still working on the PR

## Testing, Linting and Formatting

We use different formatters and linters in this project.
Expand Down

0 comments on commit e56bb94

Please sign in to comment.