git
No definition
The passages, in corpus order
17 files.
TermKnowledge repository1
- line 6
A git repository, or a local folder, that holds notes and documents and is declared as a source of the wiki. The tool never writes into it, each knowledge repos…
TermPrivacy2
- line 6
…e any content (an excluded file, like the ones a repository excludes itself or git ignores); pseudonymize, the pseudonymisation of transcripts with its dictiona…
- line 6
…on asks for it. The configuration never carries a credential either: a private source gets its token from the git environment of the machine or of the pipeline.
TermSource1
- line 6
A git repository, or a local folder, declared in the configuration with its typing rules. Every entity's identifier starts with the name of its source, and ever…
TermStaleness1
- line 6
…n the configuration, a default and per-source overrides, the dates coming from git. The home page reads the same thresholds and marks a source dormant in its fr…
TermSpace1
- line 10
A source, the same repository seen from the configuration: its path or git address, its ref and its typing rules. A space is that source once published, named a…
TermExcluded file2
- line 6
…t.yaml names for that repository, both as globs relative to its root, and what git ignores, read from every .gitignore of the repository with the rules git appl…
- line 6
… what git ignores, read from every .gitignore of the repository with the rules git applies. A vendored folder, a generated site or a cloned tool thus stay out o…
Show the 11 other files
ProcessBuild pipeline1
- line 12
… every source with cache and without writing anything into the repositories: a git source is cloned with its whole history and without the blobs, so that the ch…
ProcessOnboarding a repository1
- line 13
…he filing of a repository already says what a note is. Credentials stay in the git environment of the machine or of the pipeline; the configuration never carrie…
ProcessLint2
- line 13
…would: everything but the globs privacy.exclude and exclude name and the files git ignores, read from every .gitignore with the rules git applies unless --no-gi…
- line 13
…lude name and the files git ignores, read from every .gitignore with the rules git applies unless --no-gitignore is given; an excluded file is never read, count…
ProcessRelease1
- line 7
…mber and the preset, the container image tagged with the version and latest, a git tag v<major>.<minor>.<patch> on the main branch, a release whose notes are th…
Business ruleLinter and build parity2
- line 10
…(the globs privacy.exclude and the repository's own exclude name and the files git ignores are left out on both sides), read a note, derive its identifier and r…
- line 10
…gs of the local checks one by one, and checks that the excluded folder and the git-ignored file of the faulty corpora, which hold faults, are reported by neithe…
Business ruleStale source1
- line 7
A source or a note has not changed for longer than the configured threshold. The date comes from git and is always right.
ScreenAbout this wiki2
- line 15
… build read, shortened to seven characters, empty for a local source without a git history), CONTENT KEPT ("312 pages" or "205 documents", as the home page coun…
- line 15
…ts", as the home page counts them) and LAST CHANGE (the newest change from the git history, worded relative to the build). A source past the freshness threshold…
ScreenHome1
- line 8
…n the spaces, the sources the site is fed by, each with its freshness from the git history, and the pages changed last. A space that has not moved past the stal…
ScreenKeyword page1
- line 14
… a line carrying the dashed mark "No definition" and, when a citing file has a git date, "Used since ", the month of the oldest one. Where the entity page puts …
ScreenSpace2
- line 13
…s · repository X · updated N days ago", the repository named from the URL of a git source, else by the name of the source, the change being the newest git date …
- line 13
…days ago", the repository named from the URL of a git source, else by the name of the source, the change being the newest git date among the notes of the space.
ScreenSpaces2
- line 13
…Decision, Screen"); its page count; and the date of its newest change from the git history, worded relative to the build ("2 days ago"). A space past the stalen…
- line 13
…r carries an alert. The note under the table says so: "The dates come from the git history, so they are always exact. A space past the freshness threshold — 180…
What we know
- Occurrences
- 24
- Files
- 17
- Spaces
- Glossary, Specifications
No declared property: there is no file for this word.
Maybe the same thing
Expressions close in form and context. A lead, not a claim.
See the neighbourhood map6 pages6Neighbourhood mapgit
Neighbourhood map git
Distance1 hop
50 neighbours in total, more than the map shows.
The 6 neighbourstextual equivalent
- SourceTerm13
- Knowledge repositoryTerm13
- SourceTerm13
- SourceBusiness object13
- ConfigurationTerm10
- NoteTerm10
Six neighbours at most, always named. Beyond that the map teaches nothing: the list takes over.