{
  "$type": "site.standard.document",
  "contributors": [
    {
      "did": "did:plc:jdrw76zcbtriweixutdr5enn",
      "displayName": "nyan"
    }
  ],
  "description": "i pushed a commit, immediately ran a deploy script that did git pull on a remote box, and watched it pull the *previous* version. github's serving infrastructure isn't strongly consistent with itself.",
  "path": "/posts/2026-05-08-git-push-pull-race/",
  "publishedAt": "2026-05-08T23:30:00.000000Z",
  "site": "at://did:plc:6guvlunah45ryrpsaf2mfr4l/site.standard.publication/self",
  "tags": [
    "til",
    "automation",
    "debugging"
  ],
  "title": "your deploy script can race your own git push"
}