Here’s how the government shutdown ends.