Hướng dẫn đổi tài khoản GitHub trong Antigravity trên Windows
Khi sử dụng Antigravity, bạn có thể gặp trường hợp ứng dụng vẫn sử dụng tài khoản GitHub cũ để push mã nguồn. Nguyên nhân thường là Windows đã lưu thông tin đăng nhập thông qua Git Credential Manager. Chỉ với vài bước dưới đây, bạn có thể chuyển sang tài khoản GitHub mới.

Bước 1. Xóa thông tin đăng nhập GitHub đã lưu
Mở Command Prompt hoặc PowerShell và chạy lệnh:
cmdkey /delete:git:https://github.com
Sau khi xóa, lần tiếp theo thực hiện git push, Git sẽ yêu cầu bạn đăng nhập lại. Hãy chọn đúng tài khoản GitHub muốn sử dụng.
Bước 2. Kiểm tra repository đang kết nối
Để biết dự án hiện tại đang liên kết với repository nào trên GitHub, chạy:
git remote -v
Kết quả sẽ hiển thị địa chỉ của repository dùng cho thao tác fetch và push.
Bước 3. Kiểm tra thông tin người tạo Commit
Xem tên và email được gắn vào các commit:
git config user.name
git config user.email
Nếu thông tin chưa đúng, cập nhật bằng:
git config --global user.name "Tên GitHub"
git config --global user.email "email_github@example.com"
Khi Antigravity sử dụng sai tài khoản GitHub, chỉ cần xóa thông tin đăng nhập đã lưu, kiểm tra repository và cập nhật lại thông tin commit nếu cần. Sau đó thực hiện git push và đăng nhập bằng tài khoản GitHub mong muốn là bạn đã có thể tiếp tục làm việc bình thường.