Senate Democrats have given up their brief, pointless, and mostly harmless shutdown of the federal government. They did so by agreeing to the very same bill they had filibustered the week before, in hopes of gaining something Republicans had already promised.

It was a silly shutdown, a fact made crystal clear by the Democrats’ quick fold on its first actual business day.