From fac6f5ce6f4a9ac42484599f96b7f265472f679c Mon Sep 17 00:00:00 2001 From: Brad Campbell Date: Mon, 28 Aug 2023 22:05:26 -0400 Subject: [PATCH] readme: remove bors comment --- README.md | 8 +------- 1 file changed, 1 insertion(+), 7 deletions(-) diff --git a/README.md b/README.md index b21749d57..fbaf56520 100644 --- a/README.md +++ b/README.md @@ -282,13 +282,7 @@ at your option. Contributions ------------- -We welcome contributions from all. We use the bors-ng bot to manage, approve, -and merge PRs. In short, when someone replies `bors r+`, your PR has been -approved and will be automatically merged. If a maintainer replies `bors -delegate+`, then you have been granted the authority to mark your own PR for -approval (usually this will happen if there are some trivial changes required). -For a full list of bors commands, [see the bors -documentation](https://bors.tech/documentation/). +We welcome contributions from all. Unless you explicitly state otherwise, any contribution intentionally submitted for inclusion in the work by you, as defined in the Apache-2.0 license, shall be