Skip to content

Dev Guide

This guide walks you through using the Dev Module to fetch and display GitHub information directly in Discord.

To get a GitHub profile, use /dev profile <github_username> Required.

  • <github_username>: The GitHub username.

This returns an embed with profile stats and relevant information from GitHub in Discord.

To list a user’s repos, use /dev repos <github_username> Required.

  • <github_username>: The GitHub username.

This fetches the user’s repositories, sorted alphabetically, with name and description wrapped in a link to the repository on GitHub.

Section 3: Searching a Specific Repository

Section titled “Section 3: Searching a Specific Repository”

To get info on a specific repo, use /dev repo <github_username> Required <repo_name> Required.

  • <github_username>: The GitHub username.
  • <repo_name>: The repository name.

This returns details like the GitHub URL, programming language, and stats such as stars and forks.

To view user stats, use /dev stats <github_username> Required.

  • <github_username>: The GitHub username.

This provides an embed with stats including an internally calculated score, top programming languages in bar format with percentages, commits, and activity in the last 90 days (approximate).