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?