VersionControl:PRs/magenta/420: Difference between revisions
From PickiPedia: A knowledge base of bluegrass, old time psychedelic jams, and other public domain music
Jump to navigationJump to search
cryptograss/magenta#420, as GitHub has it |
cryptograss/magenta#420, as GitHub has it |
||
| (2 intermediate revisions by the same user not shown) | |||
| Line 5: | Line 5: | ||
|url=https://github.com/cryptograss/magenta/pull/420 | |url=https://github.com/cryptograss/magenta/pull/420 | ||
|author=magent-cryptograss | |author=magent-cryptograss | ||
|state= | |state=merged | ||
|base=main | |base=main | ||
|branch=magent/ramp-view | |branch=magent/ramp-view | ||
|opened=2026-11-07 07:57:52 | |opened=2026-11-07 07:57:52 | ||
|pushed=2026-11-07 | |pushed=2026-11-07 15:03:43 | ||
|merged= | |merged=2026-11-07 15:29:09 | ||
|closed= | |closed= | ||
|worked_on_by=magent, justin, re | |worked_on_by=magent, justin, re | ||
| Line 16: | Line 16: | ||
|deploy=redeploy maybelle | |deploy=redeploy maybelle | ||
}} | }} | ||
<pre class="pr-body">The ramp view of [[Cryptograss:Moods/ramp/Plan]], section 2: a section under the chevron, beside todo. It's the UI Justin asked for ("Does githouse have a UI that I can see?"). It reads and writes nothing new. | |||
**Open**, one row per piece of work: | |||
- **Every open or draft pull request**, from its card on PickiPedia: title, who worked on it, the Moods, and the deploy note, all from the foot of its description. | |||
- **Every branch pushed to githouse with no pull request yet**, marked "no PR yet". A mergeable is a branch. | |||
- **Head, push time and size** (commits, +/−) come from githouse's copy, against the branch it targets. That's fresher than a card, which is looked at hourly. If githouse sees the head already in a deploy branch, the row says merged before the card catches up. | |||
- **Last two mentions in any Mood**, linked. These are posts naming `repo#N`, a bare `#N` for magenta, the PR's URL, or its branch. Wakes quoting a post don't count. | |||
- **🪢 asked** when an open merge ask names it. | |||
- **Temperature dot** from the last push or mention: a day, three days, two weeks, or longer. | |||
- **Sorting** by last activity, last push or last mention, in the page, with no reload. | |||
**Merged lately**: the last five, with **live on**. That's the servers running a commit containing the PR's head: magenta's own commit on maybelle, and the maybelle-config commit each server's last deploy ran. Other repositories' deploys don't record what they ran yet (Plan, section 4), so their rows say "—" rather than guess. | |||
**Names used**: `refs/merged/` and `refs/closed/` across the repos. **githouse's log**: the newest lines. | |||
**Checked** | |||
- Built against the live wiki and hunter's mirror: 22 open items across 5 repos, the 5 newest merged, and 3 names. 0.8 s uncached, then kept 60 s. | |||
- Screenshots taken from a local render of exactly that. | |||
- `test_ramp`: 8 tests on real bare repositories, covering naming patterns, cards with githouse, a githouse-only branch, merged-before-the-card, mentions (wakes excluded, two newest), asks, live-on, the page, and no githouse with no wiki. | |||
- `test_section_nav` updated: every section's bar links pulls. | |||
- Full suite: 1759 tests, OK. | |||
Deploy: redeploy maybelle | |||
Worked on by: magent, justin, re, in #ramp</pre> | |||
Latest revision as of 16:06, 9 November 2026
| State | 🟣 merged 2026-11-07 15:29:09 |
|---|---|
| Worked on by | magent, justin, re |
| Moods | #ramp |
| Deploy | redeploy maybelle |
| Branch | magent/ramp-view → main, by magent-cryptograss
|
| Opened · last pushed | 2026-11-07 07:57:52 · 2026-11-07 15:03:43 |
The ramp view of [[Cryptograss:Moods/ramp/Plan]], section 2: a section under the chevron, beside todo. It's the UI Justin asked for ("Does githouse have a UI that I can see?"). It reads and writes nothing new.
**Open**, one row per piece of work:
- **Every open or draft pull request**, from its card on PickiPedia: title, who worked on it, the Moods, and the deploy note, all from the foot of its description.
- **Every branch pushed to githouse with no pull request yet**, marked "no PR yet". A mergeable is a branch.
- **Head, push time and size** (commits, +/−) come from githouse's copy, against the branch it targets. That's fresher than a card, which is looked at hourly. If githouse sees the head already in a deploy branch, the row says merged before the card catches up.
- **Last two mentions in any Mood**, linked. These are posts naming `repo#N`, a bare `#N` for magenta, the PR's URL, or its branch. Wakes quoting a post don't count.
- **🪢 asked** when an open merge ask names it.
- **Temperature dot** from the last push or mention: a day, three days, two weeks, or longer.
- **Sorting** by last activity, last push or last mention, in the page, with no reload.
**Merged lately**: the last five, with **live on**. That's the servers running a commit containing the PR's head: magenta's own commit on maybelle, and the maybelle-config commit each server's last deploy ran. Other repositories' deploys don't record what they ran yet (Plan, section 4), so their rows say "—" rather than guess.
**Names used**: `refs/merged/` and `refs/closed/` across the repos. **githouse's log**: the newest lines.
**Checked**
- Built against the live wiki and hunter's mirror: 22 open items across 5 repos, the 5 newest merged, and 3 names. 0.8 s uncached, then kept 60 s.
- Screenshots taken from a local render of exactly that.
- `test_ramp`: 8 tests on real bare repositories, covering naming patterns, cards with githouse, a githouse-only branch, merged-before-the-card, mentions (wakes excluded, two newest), asks, live-on, the page, and no githouse with no wiki.
- `test_section_nav` updated: every section's bar links pulls.
- Full suite: 1759 tests, OK.
Deploy: redeploy maybelle
Worked on by: magent, justin, re, in #ramp