> 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. Correct, this was to aptui ... which I think is fine to do? Lbs