Trump’s so-called “deal” for federal workers expires today.