pre-push git hook when the pushed branch already has an open pull request. It records the PR URL, title, head branch, and state so the PR appears in the agent’s progress history and in murmur status output.
The command fetches the PR’s title, head branch, and state from GitHub automatically. If the lookup fails, the PR is still attributed — the URL alone is sufficient.
The command uses the MURMUR_WORKFLOW_ID environment variable to identify which agent to report to. It resolves the repository URL from the --repo flag or auto-detects it from the origin git remote.
Synopsis
Arguments
Environment variables
Examples
Attribute a pull request from a pre-push hook
origin git remote. The PR title, head branch, and state are fetched from GitHub.
Attribute a pull request with an explicit repository URL
Errors
Related
- Agents — concept overview
murmur report-commit— report a git commit to the workflow timelinemurmur report-push— report a git push to the workflow timelinemurmur status— query agent status, including PR output