Add Devin skill for OpenAgents forge workflow

Add Devin skill for OpenAgents forge workflow

Deploy story

What this commit did to the running system — joined from the forge receipt chain, the part a commit page elsewhere cannot show.

Not deployed through the forge lane

No push, promotion, build, or deploy receipt references this commit (receipts are scanned over a bounded recent window). Changes shipped by full node replacement carry their proof in the release gate receipt instead.

Changed files

added .devin/skills/openagents-forge-workflow/SKILL.md

Diff

1 file changed, +75 -0

1	+	`---`
2	+	`name: openagents-forge-workflow`
3	+	`description: OpenAgents forge workflow for Devin sessions working on openagents.com issues.`
4	+	`allowed-tools:`
5	+	`- read`
6	+	`- exec`
7	+	`- grep`
8	+	`---`
9	+
10	+	`Use this skill when a user asks you to work on an OpenAgents issue in the`
11	+	`OpenAgentsInc/openagents.com` repository. This skill is a supplement to
12	+	`.agents/skills/openagents-work-management/SKILL.md`; read that skill first.
13	+
14	+	`## Before you start`
15	+
16	+	1. Read `.agents/skills/openagents-work-management/SKILL.md`.
17	+	`2. Read the issue assigned to you. Use the OpenAgents CLI if it is available, or`
18	+	`read the issue from the web URL.`
19	+	`3. Clone the repository and set the forge remote:`
20	+	```sh
21	+	`git clone https://openagents.com/OpenAgentsInc/openagents.com.git /home/ubuntu/repos/openagents.com`
22	+	`cd /home/ubuntu/repos/openagents.com`
23	+	`git remote -v`
24	+	```
25	+	`4. Authenticate the OpenAgents CLI. Cloud Devin machines do not have an OS`
26	+	credential store, so `openagents auth login --token-stdin` fails. Use the
27	+	`OPENAGENTS_TOKEN` environment variable instead:
28	+	```sh
29	+	`OPENAGENTS_TOKEN=$OPENAGENTS_TOKEN openagents api repos/OpenAgentsInc/openagents.com/issues/<NUMBER>`
30	+	```
31	+	If `OPENAGENTS_TOKEN` is not set, find the token with
32	+	`env \| grep -iE 'openagents\|token'` and use the variable that is set. Do not
33	+	`print or commit tokens.`
34	+
35	+	`## Working`
36	+
37	+	`- Implement only the assigned issue. Do not work on unrelated issues.`
38	+	- Run `mix precommit` before you consider the work complete. If the same
39	+	`failures also fail on a pristine checkout, note them in your report and`
40	+	`continue.`
41	+	`- Use the OpenAgents CLI to add a completion comment and close the issue when`
42	+	`the change is on main:`
43	+	```sh
44	+	`OPENAGENTS_TOKEN=$OPENAGENTS_TOKEN openagents api -X POST \`
45	+	`-f body="Fixed in <branch-or-commit>." \`
46	+	`repos/OpenAgentsInc/openagents.com/issues/<NUMBER>/comments`
47	+	```
48	+	```sh
49	+	`printf '%s' '{"state":"closed","state_reason":"completed"}' \| \`
50	+	`OPENAGENTS_TOKEN=$OPENAGENTS_TOKEN openagents api -X PATCH --input - \`
51	+	`repos/OpenAgentsInc/openagents.com/issues/<NUMBER>`
52	+	```
53	+
54	+	`## Push to main`
55	+
56	+	`This repository does not use pull requests. Do not wait for the user to merge.`
57	+
58	+	- If your work is on a `devin/...` branch and the branch is fast-forwardable,
59	+	merge it into `main` and push to the forge:
60	+	```sh
61	+	`git checkout main`
62	+	`git merge --ff-only <your-branch>`
63	+	`git push openagents main`
64	+	```
65	+	- If the `openagents` remote does not exist and `origin` points to
66	+	`openagents.com`, use `git push origin main` instead.
67	+	- Do not push to the GitHub mirror (`github.com`).
68	+
69	+	`## Rules`
70	+
71	+	- Do not print or commit the `OPENAGENTS_TOKEN`.
72	+	- Do not push to `origin` if `origin` points to GitHub.
73	+	`- Do not wait for the user to merge; do it yourself.`
74	+	`- If you are stuck on the clone, setup, or token, say so and stop before`
75	+	`editing code.`