Fix a bug: can not push to a public repo

This solved #82.
CMIPT · Oct 25, 2024 · 621bad8 · 621bad8
1 parent 69c3dff
commit 621bad8
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 1 deletion.
diff --git a/script/deploy_helper.py b/script/deploy_helper.py
@@ -462,6 +462,9 @@ def install_redis():
 
 def deploy_on_ubuntu(config):
     assert(config != None)
+    if os.path.exists(application_config_file_path):
+        res = os.system(f'rm -rf {application_config_file_path}')
+        command_checker(res, f"Failed to remove {application_config_file_path}")
     if config.serviceType != 'systemd':
         essential_packages.remove('systemd')
     apt_install_package(parse_iterable_into_str(essential_packages))

diff --git a/src/main/java/edu/cmipt/gcs/util/GitoliteUtil.java b/src/main/java/edu/cmipt/gcs/util/GitoliteUtil.java
@@ -30,8 +30,10 @@ public static synchronized boolean initUserConfig(Long userId) {
                     @%d_ssh_key =
                     repo @%d_private_repo
                         RW+ = @%d_ssh_key
+                    repo @%d_public_repo
+                        RW+ = @%d_ssh_key
                     """
-                            .formatted(userId, userId, userId, userId, userId);
+                            .formatted(userId, userId, userId, userId, userId, userId, userId);
             Files.writeString(userConfPath, content);
             List<String> lines = Files.readAllLines(Paths.get(GitConstant.GITOLITE_CONF_FILE_PATH));
             for (int i = 0; i < lines.size(); i++) {