Repository navigation
basou: Count a repo's files past symlinks that leave it, keep an http final_url to its scheme, host and path, and say on the board page and in the guide what each figure is - #383
Merged
Conversation
… final_url to its scheme, host and path, and say on the board page and in the guide what each figure is - repos[].files leaves out a symlink that leaves the repository. A tracked agent instruction file linked in from another repo made files null on every measurement, and a built-in value takes no exclude. A path that cannot be read, or a directory git could not list in full, still makes it null; a declared file_count of ** keeps refusing such a symlink. The repos method is now 3, so the next record marks the section method_changed. - The guide's http script prints final_url as the scheme, host (with a port that is not the scheme's own) and path of the URL curl ended at, and a null with an error when that is not an http or https URL. record refuses a final_url holding '?' or '#', or a user name or a password: a sign-in redirect's token changed the value at every record and put the token in a file kept in git. - The guide's Source: line quotes an argument where the command quotes it (a check name with a space), and leaves a plain name as it was. - The guide asks for all manual observations of a record in one message, and lists them as one operator turn with each key under it. - The guide says a milestone is a day on which something happened (the start of the work too), never a plan or a target date, and that a moved board keeps the milestones it had that happened. - The board page says what its per-day time divides by (the days from the start to today, both included), says the Claude and Codex times are each a union of their sessions' time, and draws each repo's files in the repos tables of the live board and of a record.
…ilestone is a day on which something happened The comment said only what was reached, and that a board moved from another keeps its milestones there: the same two clauses the guide had, which a start of the work among a moved board's milestones did not fit. It now gives the guide's rule: days on which something happened (a release, a launch, the start of the work), never a plan or a target date, and a moved board keeps the milestones it had that happened.
…inal_url holds, and leave out a symlink whose end cannot be reached when its text leaves the repo - The board page held a written record's http value to what record takes now, so a value whose final_url had a query, which record took before, was drawn as raw JSON. It now holds such a value to the shape record took when it was written; record alone refuses a user, a query or a fragment. - record also refuses a final_url holding a character a terminal hides, as it does a string of the other kinds. - A symlink whose end cannot be reached (a directory on the way that may not be entered) was not readable, so repos[].files stayed null for it. It is now outside when its text, or that of a link in the repo it leads to, leaves the repository. - The CHANGELOG and docs/spec/board.md say what moves once at the next record (a fragment, a user, a port that is the scheme's own, capitals, a host outside ASCII), that the repos method fires the axis review's trigger (e) once, how the command reads a URL, and that a token in the path itself is kept; the guide says to make such an observation manual. - The ja words under Claude's and Codex's time say an overlap counts once, and tests pin them and the names a source quotes.
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
What changes
Board fixes from using
basou boardon a board moved from a hand-written one. No shape changes:board_version3,record_version3, the record's on-disk shape and the--jsonshapes stay as they are.Changed
repos[].filesleaves out a symlink that leaves the repository. A repo with agent instruction files linked in from another repo (AGENTS.md -> ../<repo>/AGENTS.md,CLAUDE.md -> AGENTS.md,.github/copilot-instructions.md -> ../AGENTS.md), tracked or untracked and not ignored, hadfilesnull at every measurement, and a built-in value takes noexclude. Unreadable paths and directories git could not list still make it null. A symlink whose end cannot be reached (a directory on the way that may not be entered) is outside when its text, or that of a link in the repo it leads to, leaves the repository. Declared measures (file_countof**) are unchanged.BOARD_REPOS_METHOD2 -> 3: the next measure fires the axis review's trigger (e) once and the next record marks the repos sectionmethod_changed.final_urlholds only the scheme, host (with a port that is not the scheme's own) and path. The guide's script prints it fromnew URL(url_effective), or a null with an error when it is not an absolute http(s) URL;recordrefuses afinal_urlholding?,#, a user name, a password, or a character a terminal hides. Behind a sign-in the redirect URL carried a token signed anew each time: the observation moved at every record and the token landed in a record kept in git. Records already written are not checked again, and the board page still draws their http values as parts (it holds a written value to the shape record took when it was written).board initprints.Added
filescolumn in the repos tables of the live board and of a record's page.Fixed
docs/spec/board.mddefines it.Source:line quotes an argument where the command quotes it (a check name with a space), and leaves a plain name as it was.Verification
pnpm -r build,pnpm typecheck,pnpm lint,pnpm lint:lang,pnpm lint:paths,pnpm test:scripts,pnpm -r test: all exit 0 (core 2972 passed, 1 skipped; sdk 67; cli 1599).