推送与拉取——本地与远程仓库同步

Push 和 Pull 是什么

Git 是分布式版本控制系统——本地有一份完整仓库，远程（GitHub/GitLab）也有一份。Push 和 Pull 是两边同步的双向通道：

本地仓库  → Push →  远程仓库（GitHub）
本地仓库  ← Pull ←  远程仓库

Push（推送）

Push 把你的本地 commit 上传到远程。步骤：

1. 确保已经 commit（没 commit 的改动不会被 push）
2. 文件浏览器进入仓库 → 长按 → Git → Push...
3. 如果是第一次 push，AIDE 会让你输入远程仓库 URL
4. 选择要推送的分支
5. 确认后开始上传

第一次 Push：新建本地仓库后第一次 push 到远程时，AIDE 会提示你输入远程仓库地址（origin URL）。以后就不用再输了。

Pull（拉取）

Pull 把远程仓库的最新更新拉到本地。步骤：

1. 文件浏览器进入仓库 → 长按 → Git → Pull...
2. AIDE 自动获取远程更新
3. 如果有新 commit，自动合并到当前分支
4. 显示拉取结果（合并了多少文件）

合并冲突

如果远程和本地都改了同一个文件的同一位置，Git 会产生合并冲突。AIDE 会：

1. 用冲突标记标出冲突位置：

   <<<<<<< HEAD
   你的修改
   =======
   远程的修改
   >>>>>>> origin/main

1. 需要你手动编辑文件，决定保留哪一份或合并两边
2. 解决完冲突后 commit

远程仓库管理

添加/修改远程地址

文件浏览器 → 仓库 → Git → Manage Remotes，可以查看、添加、修改远程仓库的 URL。

第一次 Push 需要注意

• 远程仓库必须已经存在（先在 GitHub 上创建一个空仓库）
• 如果远程仓库已经有一些初始文件（如 README），Pull 一次再 Push 避免冲突
• 私有仓库需要 SSH 密钥或 HTTPS Token 认证

免费版替代方案

没有 Premium 的话，你无法在 AIDE 里 Push/Pull。替代方案：

• 用电脑配合 adb 手动传文件
• 用 Dropbox 同步（功能弱但免费）
• 用其他 Git 客户端 App（如 MGit），先 commit 再在那个 App 里 push