This is really a git/GitHub question but since the initial pull request was submitted from the julia REPL, I’m asking here. I am a complete GitHub newbie.
I submitted a PR for DecFP using the following procedure:
Pkg.checkout("DecFP") cd(Pkg.dir("DecFP")) ;git checkout -b trunc1 <edit code> ;git commit -a -m "Description" using PkgDev PkgDev.submit("DecFP")
That seems to have worked OK. The package maintainer reviewed the PR and had some useful suggestions to improve it. I have implemented those changes and now I want to update the PR but I have the following issue:
julia> cd(Pkg.dir("DecFP")) shell> git status On branch trunc1 Your branch is based on 'origin/trunc1', but the upstream is gone. (use "git branch --unset-upstream" to fixup) Changes not staged for commit: (use "git add <file>..." to update what will be committed) (use "git checkout -- <file>..." to discard changes in working directory) modified: src/DecFP.jl no changes added to commit (use "git add" and/or "git commit -a")
Should I run
git branch --unset-upstream?
After resolving this is it just
git push to update the PR?