This paper studies how municipal governments jointly manage spending, credit market borrowing, and public employee pensions. I model governments as levered investors who must meet non-defaultable pension obligations and may value government spending more than citizens. I quantify the model using...