You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
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:
➜
The text was updated successfully, but these errors were encountered:
Steps to reproduce:
Expect: retry: git add; git commit; git pull; git push
Observed: nothing to commit -> stops even though local is 1 commit ahead of remote
The text was updated successfully, but these errors were encountered: