Audience: Non-technical IHE staff with GitHub "Owner" access on the IHE org. Everything here uses the GitHub web interface. No code, no command line.
You are responsible for the organizational infrastructure that supports the Devices domain on GitHub. Most day-to-day repo creation is automated — but you handle one-time setup, troubleshooting, and fallback procedures.
What you do:
- Maintain the GitHub App and automation that creates repos
- Create repos manually if the automation is unavailable (see Manual Repo Creation)
- Create new teams when needed (one-time setup)
What you don't do:
- Manage who is on the Devices team (that's the Domain Lead's job)
- Configure CI/CD, branch protection, or any technical settings (baked into the template)
- Write or review document content
New repositories are created automatically when a dev-co-chairs member opens a "New Repository Request" issue on the DEV.tooling repo. Requests from anyone outside that team are automatically declined and the issue is closed.
- A
dev-co-chairsmember opens the issue form at DEV.tooling → New Issue - They fill in the repo name, template, and description
- A GitHub Actions workflow automatically:
- Verifies the requester is an active
dev-co-chairsmember (otherwise comments, closes, and stops) - Creates the repo from the selected template
- Assigns the
dev-co-chairsteam as Admin - Creates the per-repo
{name} writer(Write) and{name} maintainer(Maintain) child teams underdevices-domain - Fills in the README/metadata placeholders and seeds team membership (the requester becomes a maintainer of both teams)
- Comments on the issue with the new repo URL
- Closes the issue
- Verifies the requester is an active
- Monitor for failures. If a workflow fails, check the Actions tab on DEV.tooling to see what went wrong.
- Fall back to manual creation if the automation is broken. See Manual Repo Creation.
- Maintain the GitHub App. See GitHub App Setup & Maintenance.
You only need to do this once.
- Go to github.com/orgs/IHE/new-team
- Team name:
Devices-Domain - Description: "IHE Devices domain team"
- Visibility: Visible
- Click "Create team"
- Add the Domain Lead: Team page → Members → "Add a member" → search by username → Add
- Promote to Maintainer: In the Members list, tick the checkbox next to their name → use the "change role" dropdown at the top of the list → choose "Maintainer"
"Maintainer" lets the Domain Lead add/remove team members on their own.
The repo-creation automation depends on this team. Each new repo gets a
{name} writerand{name} maintainerteam created as child teams ofdevices-domain. If this parent team is missing, the automation still creates the per-repo teams but leaves them without a parent (and logs a warning). CreateDevices-Domainbefore relying on the automation.
| Template | When to use |
|---|---|
DEV.supplement-template |
New supplement document |
"The automation failed" → Check the Actions tab on DEV.tooling. Click the failed run to see the error. If it's a permissions issue, see GitHub App Setup & Maintenance. If you can't fix it, create the repo manually.
"Someone asks me to add them to a team" → Redirect them to the Domain Lead. You only manage Org-level things, not team membership.
- Manual Repo Creation (Fallback) — step-by-step for creating repos without automation
- GitHub App Setup & Maintenance — how the automation works and how to maintain it