Post

I'm pretty sure there's a rule that says if you merge a PR you get to take the rest of the day off. That's a thing, right?