Template:PR

From PickiPedia: A knowledge base of bluegrass, old time psychedelic jams, and other public domain music
Jump to navigationJump to search

A pull request's card. Not written by hand: magenta's PR sync (memory-lane/conversations/services/pr_cards.py) writes one page per pull request at VersionControl:PRs/<repo>/<number> (others' repositories as <owner>/<repo>), whole, from what GitHub says, and writes over any edit made here. worked_on_by, moods and deploy come from the foot of the description, as Cryptograss:Emergents/GeneralOrders puts it.

Parameters: repo, number, title, url, author, state (open, draft, merged, closed), base, branch, opened, pushed, merged, closed, worked_on_by, moods, deploy.

Properties set: Property:Repository, Property:PR number, Property:PR state, Property:PR URL, Property:PR author, Property:Base branch, Property:Deploy note, Property:Opened at, Property:Last pushed, Property:Merged at, Property:Worked on by (each), Property:Worked in mood (each).

Example queries:

{{#ask: [[Category:Pull requests]] [[Worked on by::justin]] |?Repository |?PR number |?PR state |sort=Last pushed |order=desc |limit=10 }}
{{#ask: [[Category:Pull requests]] [[Worked in mood::ramp]] [[PR state::open]] |?Repository |?PR number |?Worked on by |?Deploy note }}

Built in Cryptograss:Moods/ramp.