From 53d12391bdaa79f6f48626bae31ac7598459c34b Mon Sep 17 00:00:00 2001 From: Zain Rizvi Date: Wed, 5 Oct 2022 13:24:25 -0500 Subject: [PATCH] How to cancel your merge --- Bot-commands.md | 4 +++- 1 file changed, 3 insertions(+), 1 deletion(-) diff --git a/Bot-commands.md b/Bot-commands.md index a867dbb..de633e0 100644 --- a/Bot-commands.md +++ b/Bot-commands.md @@ -51,7 +51,9 @@ command: usage: @pytorchbot merge [-g | -f MESSAGE | -l] [-r [{viable/strict,master}]] Merge an accepted PR, subject to the rules in .github/merge_rules.json. -By default, this will wait for all required checks (lint, pull) to succeed before merging. +By default, this will wait for all required checks (lint, pull, etc) to succeed before merging. + +If you initiate a merge but then change your mind, if the merge hasn't completed yet you can cancel the operation by deleting your merge comment. optional arguments: -g, --green Merge when all status checks running on the PR pass. To add status checks, use labels like `ciflow/trunk`.