Definitely do not force push to emulab-devel! On Jan 8, 2014, at 11:58 AM, Eric Eide <eeide at cs.utah.edu> wrote: > 2. I'm not sure we allow non-ff updates to emulab-devel, but perhaps I am wrong > and/or the shield generator is down.