Use when asked to update `/Users/green/Documents/miden/work_log.md` from the last 7 full UTC days of GitHub activity in the `0xMiden` org for `greenhat`, grouped into landed PRs, opened PRs, and opened issues, plus a `This week:` section from `Next` items in `0xMiden` project 7.
Use this skill when the user wants last week's 0xMiden GitHub activity appended to /Users/green/Documents/miden/work_log.md, plus a This week: section generated from the open PRs/issues in 0xMiden project 7 that currently have status Next.
/Users/green/Documents/miden/work_log.md to match the existing formatting, spacing, bullet style, and link style.[from, to):
to: today at 00:00:00Zfrom: 7 days before to at 00:00:00Z
Use exact YYYY-MM-DD dates for the GitHub search qualifiers.org:0xMiden with gh api search/issues, paginating as needed. Ignore comments, reviews, and other noise.
gh api 'search/issues?q=...'; this is more reliable than gh api search/issues -f q=... in this environment.org:0xMiden is:pr author:greenhat merged:FROM..TO sort:merged-ascorg:0xMiden is:pr author:greenhat created:FROM..TO sort:created-ascorg:0xMiden is:issue author:greenhat created:FROM..TO sort:created-ascThis week: items from https://github.com/orgs/0xMiden/projects/7/views/1.
Next. Do not intersect this list with the last-week authored activity; the project is the source of truth for This week:.gh project item-list 7 --owner 0xMiden --query 'status:Next is:open' --format json as the primary retrieval path.gh project requires a token with the read:project scope. If access fails with a missing-scope error, refresh auth with gh auth refresh -s read:project.work_log.md in this shape while preserving the surrounding spacing conventions:Last week:
Landed PRs:
- <title> [#<number>](<url>)
Opened PRs:
- <title> [#<number>](<url>)
Opened issues:
- <title> [#<number>](<url>)
This week:
- <title> [#<number>](<url>)
This week: header even when there are no matching Next items.This week: should contain only open PR/issue items from project 7 with status Next; it may include items opened before the last-week window.