no skipping the parts that make me look bad

Blog

Sep 26 The PR that died in a merge conflict
Sep 21 Opening it, and then waiting
Sep 20 Running it for real
Sep 20 Finding a real bug by checking the whole map
Sep 17 Fixing the dev setup doc, one step at a time