[Archer] Remote repository and git push command

[Tom Tromey]

Joel> I don't know what the policy is on the Archer branch, or whether
Joel> there is one or not.

We don't really have one.

I don't rebase the branches I push; I do that stuff locally.
I know others have rebased public branches, though.

I think the important consideration is whether anybody else is likely to
be working with you on the branch.

Tom