commit 64e52191609a27205e7bbb4bfbb6da2ee0fe9362
parent 7da3e8a99af1ad1eb8390a115757e52fbdb79164
Author: Suhaib Mujahid <smujahid@mozilla.com>
Date: Thu, 27 Nov 2025 22:42:39 +0000
Bug 2002886 - Remove GitHub command references from AGENTS.md r=marco DONTBUILD
Differential Revision: https://phabricator.services.mozilla.com/D274358
Diffstat:
1 file changed, 0 insertions(+), 3 deletions(-)
diff --git a/AGENTS.md b/AGENTS.md
@@ -20,7 +20,6 @@ searchfox-cli --id AudioSink -l 150 --cpp # search for identifier audio sink in
- `./mach build`: Build the project
- `./mach test --auto`: Run tests
- `./mach run`: Run the project
-- `gh issue view`: Read GitHub issues
- `treeherder-check`: Pull CI results for a try push
- Use the MCP resource `@moz:bugzilla://bug/{bug_id}` to retrieve a bug
- Use the MCP resource `@moz:phabricator://revision/D{revision_id}` to retrieve a Phabricator revision
@@ -33,8 +32,6 @@ You can find the review identifier by inspecting the commit log with:
- `jj log -T builtin_log_detailed` if using `jj`
- `git log -v -l 10` if using git
-In github projects, use `gh-pr-comments https://github.com/link/to/pr`.
-
## Code Style
- Our style guide forbids the use of emoji.
