The government shutdown is over. Now what?