From fde880ecd5ee311ee79168323a178bedba682155 Mon Sep 17 00:00:00 2001
From: manuel <manuel@focs.ji.sjtu.edu.cn>
Date: Wed, 9 Oct 2024 21:31:53 +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 ece9210..c4a9593 100644
--- a/Introduction-to-JOJ3.md
+++ b/Introduction-to-JOJ3.md
@@ -95,7 +95,7 @@ joj-submit h2/e5 # creates and pushes commit test(h2/5): joj
 joj-submit h2/e5 more tests # creates and pushes commit test(h2/e5): joj more tests
 ```
 
-### Contributing
+## Contributing
 
 JOJ3 is still in heavy development and needs your help! You can contribute in two main ways: 
 - Provide feedback on your experience using JOJ3 and help improve it: contact your TT who will get in touch with JOJ3 developers