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
| Name | Type | Required | Description |
|---|---|---|---|
pr-url | string | yes | The full URL of the pull request to attribute (e.g. https://github.com/acme/backend/pull/42). |
--repo | string | no | Repository URL (HTTPS, SSH, or scp-style). Auto-detected from the origin git remote when omitted. |
Environment variables
| Name | Required | Description |
|---|---|---|
MURMUR_WORKFLOW_ID | yes | Identifies the current agent. Set automatically on agent VMs. |
MURMUR_RUN_ID | no | The current run identifier. Set automatically on agent VMs. |
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
| Code | Meaning | What to do |
|---|---|---|
MURMUR_WORKFLOW_ID not set | The command is not running on an agent VM. | This command is VM-only. It requires the MURMUR_WORKFLOW_ID environment variable set by the agent runtime. |
INVALID_ARGUMENT | The repository URL is missing or not a valid clone URL. | Pass a valid repository URL with --repo, or ensure the origin git remote is configured. |
INTERNAL | The progress signal could not be delivered to the workflow. | Retry the operation. The command retries transient errors automatically with exponential backoff (up to 3 retries within a 15-second deadline). |
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