From 1bf12af6ba5cb430b2c3344c17ff58b79b830e9d Mon Sep 17 00:00:00 2001
From: manuel <manuel@focs.ji.sjtu.edu.cn>
Date: Tue, 8 Oct 2024 18:32:57 +0800
Subject: [PATCH] Update Introduction to JOJ3

---
 Introduction-to-JOJ3.md | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Introduction-to-JOJ3.md b/Introduction-to-JOJ3.md
index a88d22d..34fb1b0 100644
--- a/Introduction-to-JOJ3.md
+++ b/Introduction-to-JOJ3.md
@@ -81,7 +81,7 @@ JOJ3 doesn't change the way to handle (open, create, review, and approve) Pull R
 
 Add the following to your `.bashrc`
 ```bash
-jojsubmit() { scope=$1; shift; git commit --allow-empty -m"test($scope): joj $@"  && git push; }
+jojsubmit() { scope=$1; shift; git commit --allow-empty -m"test($scope): joj $@" && git push; }
 alias joj-submit=jojsubmit
 ```