Updating a PR


#1

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?