push tag in init

Author: benjamin-747

src/main.rs

@@ -138,6 +138,7 @@ pub async fn add_and_push_to_remote(workspace: PathBuf) {
                         .output()
                         .unwrap();
                     let push_res = Command::new("git").arg("push").arg("nju").output().unwrap();
+                    Command::new("git").arg("push").arg("nju").arg("--tags").output().unwrap();
 
                     if push_res.status.success() {
                         record.status = Set(RepoSyncStatus::Succeed);