From 241efc4a79bf86729fba7b266669f0f0b2d6db9c Mon Sep 17 00:00:00 2001
From: Zain Rizvi <ZainRizvi@users.noreply.github.com>
Date: Tue, 21 Mar 2023 11:15:28 -0500
Subject: [PATCH] Explain Dr. CI refresh command

---
 Bot-commands.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/Bot-commands.md b/Bot-commands.md
index 8f851d5..de29c3f 100644
--- a/Bot-commands.md
+++ b/Bot-commands.md
@@ -76,6 +76,12 @@ You can also add multiple labels using comments with pytorchbot.
 ```
 @pytorchbot label label1,label2,etc
 ```
+## Refresh Dr. CI comment
+The Dr. CI comment (the first comment left at the top of your PR) refreshes ~every 15 minutes by default. If you ever want it to refresh immediately, you can run the following command to trigger the refresh
+
+```
+@pytorchbot drci
+```
 
 # Other