Hi Dan,

Most likely, your local branch is already linked to the remote branch, so
a simple

git push

should suffice. You can see how your local branches are linked, look in your
$SAGE_ROOT/.git/config

If you want to change the default mapping, you can do

git branch 15361-branching-rules --set-upstream-to 
origin/public/combinat/15361-branching-rules

and then

git push.

I think in your example, there should not be any "remotes" in 
remotes/origin/public/combinat/15361-branching-rules.

I hope this helps,

Anne

On 11/14/13 2:22 PM, Daniel Bump wrote:
> 
> I have a branch called:
> 
> remotes/origin/public/combinat/15361-branching-rules
> 
> I the repository, switched to this branch, calling the local branch
> 15361-branching-rules. I did some work, then tried to push. Per the
> instructions at the tentative conventions page
> (http://wiki.sagemath.org/TentativeConventions) I used the command:
> 
> $ git push --set-upstream origin 
> 15361-branching-rules:remotes/origin/public/combinat/15361-branching-rules
> 
> remote: FATAL: W 
> refs/heads/remotes/origin/public/combinat/15361-branching-rules sage bump 
> DENIED by fallthru
> remote: error: hook declined to update 
> refs/heads/remotes/origin/public/combinat/15361-branching-rules        
> To g...@trac.sagemath.org:sage.git
> ! [remote rejected] 15361-branching-rules -> 
> remotes/origin/public/combinat/15361-branching-rules (hook declined)
> error: failed to push some refs to 'g...@trac.sagemath.org:sage.git'
> 
> I am on the right branch.
> 
> Is this a permission problem? I have an ssh key uploaded for this machine.
> 
> Or is the above command wrong?
> 
> Dan

-- 
You received this message because you are subscribed to the Google Groups 
"sage-combinat-devel" group.
To unsubscribe from this group and stop receiving emails from it, send an email 
to sage-combinat-devel+unsubscr...@googlegroups.com.
To post to this group, send email to sage-combinat-devel@googlegroups.com.
Visit this group at http://groups.google.com/group/sage-combinat-devel.
For more options, visit https://groups.google.com/groups/opt_out.

Reply via email to