-
Notifications
You must be signed in to change notification settings - Fork 102
New issue
Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.
By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.
Already on GitHub? Sign in to your account
error on git pull #687
Comments
Test of PR #773:
In case I am offline:
And finally in case I have created a git repo without any remote:
|
hohwille
added a commit
to hohwille/ide
that referenced
this issue
May 31, 2022
improve robustness for network issues
For the record:
|
hohwille
added a commit
to hohwille/ide
that referenced
this issue
May 31, 2022
thanks to shellcheck, fixed also network error vs. local branch
On GHA the change causes tests to fail:
So for some reason on github he fails to update mirrors git repo and for some yet unknown reason thinks he is on a local branch. He waits for user input what makes the build to fail/timeout. |
hohwille
added a commit
that referenced
this issue
Jun 3, 2022
hohwille
added a commit
to hohwille/ide
that referenced
this issue
Jun 23, 2022
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
When you create a local feature-branch of your settings and run
devon ide setup
you will end up in an error like this:My observations are:
Therefore IMHO
doGitPullOrClone
should be able to detect this scenario (no tracking for current branch) and log a warning instead of triggering a pull ending in an error.The text was updated successfully, but these errors were encountered: