Using Git, I was working on a feature branch.  I pushed the branch to github so someone could look at it.  Then, it had been a while, so I rebased it.  How do I push my rebased branch over the old one?  What pitfalls must I avoid?  I think it's just git push --force (or --mirror?), but I'm never sure.
Some relevant links:
 
     
    