Change master to develop

kwankyu · kwankyu · commit 846794654cf8 · 2023-05-09T14:53:55.000+09:00
diff --git a/src/doc/en/developer/git_basic.rst b/src/doc/en/developer/git_basic.rst
@@ -166,8 +166,8 @@ them into your local branch.
 
 .. _section-git-pull-develop:
 
-Updating master
-===============
+Updating develop
+================
 
 The ``develop`` branch can be updated just like any other branch. However, your
 local copy of the develop branch should stay **identical** to the GitHub Sage repo develop
