From 0ca098b8c84b2714edea5e8c8be358ed699a5ffd Mon Sep 17 00:00:00 2001 From: Hanno Braun Date: Thu, 25 Aug 2022 11:40:50 +0200 Subject: [PATCH] Remove redundant information --- CONTRIBUTING.md | 14 -------------- 1 file changed, 14 deletions(-) diff --git a/CONTRIBUTING.md b/CONTRIBUTING.md index 43a1f0002..f2256b259 100644 --- a/CONTRIBUTING.md +++ b/CONTRIBUTING.md @@ -99,20 +99,6 @@ If you think your request is an obvious improvement, open an issue. If want to d If you want to fix a bug, add a new feature, or improve an existing one, just fork the repository, make your change, and submit a pull request. Once submitted, [@hannobraun] will review the pull request, give feedback and possibly request changes, and once everything is in order, merge it. -CI will kick in automatically when you create a PR. However, to save time you can verify your changes locally by running the following from the repository root: - -``` sh -just build -``` - -You may need to install `just` first: - -```sh -cargo install just -``` - -Please note that the `justfile` is maintained in parallel to the CI configuration. It's possible that they can start to deviate over time. Most CI failures not caught by `just build` should be considered a bug, so please open an issue if you run into that! - Pull requests are always welcome. But of course, there's a risk that yours might not be accepted. Bug fixes and other obvious improvements are usually safe, but new features might be deemed out of scope. If you don't want to risk spending time on work that might not be merged, you can start a discussion first. [Matrix] or [Discussions] are the best ways to do that.