- Notifications
You must be signed in to change notification settings - Fork 16
Open
Description
Steps to reproduce:
- disconnect from VPN (I guess simple internet disconnect would do too)
- change any file
- call git-auto-sync sync
-
- it should give an error accessing remote repository
- connect VPN
- try git-auto-sync sync
Expect: retry: git add; git commit; git pull; git push
Observed: nothing to commit -> stops even though local is 1 commit ahead of remote
➜ git-auto-sync --version git-auto-sync version 1.5 ➜ git-auto-sync sync 2024/04/30 16:23:23 exit status 128: Command: git fetch origin StdOut: StdErr: ssh: Could not resolve hostname gerrit.int.COMPANY.com: nodename nor servname provided, or not known fatal: Could not read from remote repository. Please make sure you have the correct access rights and the repository exists. ➜ git-auto-sync sync 2024/04/30 16:23:51 exit status 1: Command: git commit -m D rust/ripgrep-all D rust/rustlings D tools/clink/clink-completions StdOut: On branch master Your branch is ahead of 'origin/master' by 1 commit. (use "git push" to publish your local commits) nothing to commit, working tree clean StdErr: ➜ Metadata
Metadata
Assignees
Labels
No labels