insanebr/Map GitHub user to Discord user
Outputs a Discord mention for a given GitHub username using a mapping (inline JSON or file path).
View on GitHubTrust Signals
- Scorecard Score
- not yet scored
- Maintenance Recency
- Stale
- License
- None
Inputs
| name | description | required | default |
|---|---|---|---|
| pr-author | GitHub username to map | yes | — |
| mapping-json-inline | Inline JSON object mapping GitHub usernames to Discord mentions (takes precedence if provided) | no | — |
| mapping-json | Path to JSON file mapping GitHub usernames to Discord mentions (used if inline not provided) | no | — |
Outputs
| name | description |
|---|---|
| discord-mention | The mapped Discord mention string |