fix: "-" returns to the list you came from #23
Loading…
Reference in a new issue
No description provided.
Delete branch "fix/up-remembers"
Deleting a branch is permanent. Although the deleted branch may continue to exist for a short time before it actually gets removed, it CANNOT be undone in most cases. Continue?
Checklist
Problem
#20 moved this rather than fixing it. The cause is that a job has more than
one parent — the pull request lists it, the commit lists it, its run lists it,
and all three are real places to have come from. A parent derived from the
job's own data can only ever name one of them, and it named the commit.
So
-out of a pull request landed on the same set of checks under a differentname, which is a worse answer than the run it used to give.
Solution
Remember it instead of deriving it. Entering a job records the list that was on
screen:
A job opened straight from a URL has no history, so it still falls back to its
commit. The value survives
R, since a reload carries the remembered parentacross.
On
ci://…/checks/{oid}Worth writing down, since it looked invented: it is the commit-scoped list, and
it is the only name
:CI master,:CI HEAD~3,:CI {sha}and a pasted/commit/{sha}/checksURL can produce. It maps to a real page —github.com/{owner}/{repo}/commit/{sha}/checks— which is exactly whatgXopens there since #21.
pr/{n}is the same content scoped to a pull request,and it tracks that PR's head as it moves;
checks/{oid}is fixed to one commit.