A federal judge on Tuesday made some tweaks but left intact a ban for now that prevents Elon Musk’s Department of Government ...