[d0mine]

`git fetch origin` failed for me

  fatal: Couldn't find remote ref 416da574ec

`git fetch origin pull/8142/head` worked (the ref became available).