On Wed, Jan 8, 2014 at 12:01 PM, Robert Ricci <ricci at cs.utah.edu> wrote: > Definitely do not force push to emulab-devel! OK, apparently I'm giving bad advice, though I do this on my public clone of emulab-devel routinely. I would not suggest doing a force push to the "master" branch, but this was not master.