Github extension

Author: f | 2025-04-24

★★★★☆ (4.7 / 1035 reviews)

garmin download

Browser extension that simplifies the GitHub interface and adds useful features. github chrome-extension safari-extension firefox-addon github-extension userstyle browser

spideroak semaphor

github-extension GitHub Topics GitHub

Dev Home GitHub Extension Preview v0.18 Welcome to version 0.18 of the Dev Home GitHub Extension! This release we focused quality and bug fixes. Here are our latest updates:ChangesThe review requested widget is now customizable. (#440)Bug fixesAfter updating a widget with a default name, the name now updates as well. (#439) Dev Home GitHub Extension Preview v0.17 Welcome to version 0.17 of the Dev Home GitHub Extension! This release we focused quality and bug fixes. Here are our latest updates:ChangesAll of the projects have been upgraded to .NET 8. (#411)Bug fixesWidget display names are now localized. (#423) Dev Home GitHub Extension Preview v0.16 Welcome to version 0.16 of the Dev Home GitHub Extension! This release we focused code health. Here are our latest updates:Code healthCodebase has been updated to comply with naming rules. (#409) Dev Home GitHub Extension Preview v0.15 Welcome to version 0.15 of the Dev Home GitHub Extension! This release we focused quality improvements. Here are our latest updates:Bug fixesWidgets should no longer forget custom queries after cancelling customization. (#396) Dev Home GitHub Extension Preview v0.14 Welcome to version 0.14 of the Dev Home GitHub Extension! This release we focused quality improvements. Here are our latest updates:ChangesAll submodules will now be included when cloning. (#384)Bug fixesChanging the title of your widgets should now keep your configuration. (#391) Dev Home GitHub Extension Preview v0.13 Welcome to version 0.13 of the Dev Home GitHub Extension! This release we focused on allowing for widgets to have custom titles. Here are our latest updates:ChangesWidgets can now have custom titles. (#369) Dev Home GitHub Extension Preview v0.12 Welcome to version 0.12 of the Dev Home GitHub Extension! This release we focused on upgrading WinAppSDK and adding the releases widget from the community. Here are our latest updates:ChangesA new widget has been added to display a repository's releases (Thanks @davidegiacometti!). (#157)WinAppSDK has been upgraded to version 1.5. (#361) Dev Home GitHub Extension Preview v0.1100.422.0 This is a patch release to fix an issue in v0.11 where data wasn't being pulled down from GitHub. Here's the bug fix:Bug fixesGitHub data was not being displayed, but that should now be fixed with an Octokit upgrade. (#357) Dev Home GitHub Extension Preview v0.11 Welcome to version 0.11 of the Dev Home GitHub Extension! This release we focused on adding multiple account support and a new notification type. Here are our latest updates:ChangesYou can now receive Windows toast notifications for when your pull request has received a review. (#337)You can now sign into Dev Home with multiple GitHub accounts. (#339) Dev Home GitHub Extension Preview v0.10 Welcome to version 0.10 of the Dev Home GitHub Extension! This release we focused on adding GitHub Enterprise Server support. Here are our latest updates:ChangesYou can now sign in with a GitHub Enterprise Server account. (#286)The widget pinning experience now displays placeholder images of the widgets before pinning. (#312) (#325)Bug fixesIssue widgets with custom queries should now properly update. (#319)Cloning repositories should now work on ARM devices (Thanks @snickler!). (#321). Browser extension that simplifies the GitHub interface and adds useful features. github chrome-extension safari-extension firefox-addon github-extension userstyle browser To add the GitHub extension, select the Extensions tab in Dev Home, then select Get on the GitHub extension from the list of Dev Home extensions Available in the Microsoft Store. When signing into GitHub using the Dev Home GitHub Extension, your GitHub credentials are added to the Credential Manager . Step 3: Install GitHub Copilot extension. GitHub Copilot is available as an extension for GitHub CLI. To install it, run the following command: $ gh extension install github/gh-copilot -force. Browser extension that simplifies the GitHub interface and adds useful features. github chrome-extension safari-extension firefox-addon github-extension userstyle browser-extension. Updated ; TypeScript; openai-translator / GitHub CLI extensions are custom GitHub CLI commands that anyone can create and use. For more information about how to use GitHub CLI extensions, see Using GitHub CLI extensions. Installation as GitHub CLI extension. Act can be installed as a GitHub CLI extension:. gh extension install About GitHub Copilot Extensions. GitHub Copilot Extensions are a type of GitHub App that integrates the power of external tools into GitHub Copilot Chat.Copilot Extensions can be developed by anyone, for private or public use, and can be GitHub Browser Extensions. Some useful and fun browser extensions to personalize your GitHub browser experience. ovity / octotree Star GitHub on steroids Browser extension for Gh-extension: Remove an extension. The command "gh extension remove ${extension_name}" is a command-line command that is specific to the GitHub CLI (Command Line Interface).Here's an explanation of the different components of the command:"gh" refers to the GitHub CLI executable. It is a command-line tool that provides convenient access to GitHub features and functionality."extension" is a subcommand in the GitHub CLI that deals with the management of GitHub extensions. Extensions are additional functionalities integrated into the GitHub CLI by third-party developers."remove" is a subcommand under the "extension" subcommand. It is used to remove or uninstall a GitHub extension that is currently installed."${extension_name}" is a placeholder that represents the actual name of the extension you want to remove. You need to replace "${extension_name}" with the actual name of the GitHub extension you want to uninstall.When you run this command and replace "${extension_name}" with the actual extension name, the GitHub CLI will remove that specific extension from your system, effectively uninstalling it. This explanation was created by an AI. In most cases those are correct. But please always be careful and never run a command you are not sure if it is safe.

Comments

User9861

Dev Home GitHub Extension Preview v0.18 Welcome to version 0.18 of the Dev Home GitHub Extension! This release we focused quality and bug fixes. Here are our latest updates:ChangesThe review requested widget is now customizable. (#440)Bug fixesAfter updating a widget with a default name, the name now updates as well. (#439) Dev Home GitHub Extension Preview v0.17 Welcome to version 0.17 of the Dev Home GitHub Extension! This release we focused quality and bug fixes. Here are our latest updates:ChangesAll of the projects have been upgraded to .NET 8. (#411)Bug fixesWidget display names are now localized. (#423) Dev Home GitHub Extension Preview v0.16 Welcome to version 0.16 of the Dev Home GitHub Extension! This release we focused code health. Here are our latest updates:Code healthCodebase has been updated to comply with naming rules. (#409) Dev Home GitHub Extension Preview v0.15 Welcome to version 0.15 of the Dev Home GitHub Extension! This release we focused quality improvements. Here are our latest updates:Bug fixesWidgets should no longer forget custom queries after cancelling customization. (#396) Dev Home GitHub Extension Preview v0.14 Welcome to version 0.14 of the Dev Home GitHub Extension! This release we focused quality improvements. Here are our latest updates:ChangesAll submodules will now be included when cloning. (#384)Bug fixesChanging the title of your widgets should now keep your configuration. (#391) Dev Home GitHub Extension Preview v0.13 Welcome to version 0.13 of the Dev Home GitHub Extension! This release we focused on allowing for widgets to have custom titles. Here are our latest updates:ChangesWidgets can now have custom titles. (#369) Dev Home GitHub Extension Preview v0.12 Welcome to version 0.12 of the Dev Home GitHub Extension! This release we focused on upgrading WinAppSDK and adding the releases widget from the community. Here are our latest updates:ChangesA new widget has been added to display a repository's releases (Thanks @davidegiacometti!). (#157)WinAppSDK has been upgraded to version 1.5. (#361) Dev Home GitHub Extension Preview v0.1100.422.0 This is a patch release to fix an issue in v0.11 where data wasn't being pulled down from GitHub. Here's the bug fix:Bug fixesGitHub data was not being displayed, but that should now be fixed with an Octokit upgrade. (#357) Dev Home GitHub Extension Preview v0.11 Welcome to version 0.11 of the Dev Home GitHub Extension! This release we focused on adding multiple account support and a new notification type. Here are our latest updates:ChangesYou can now receive Windows toast notifications for when your pull request has received a review. (#337)You can now sign into Dev Home with multiple GitHub accounts. (#339) Dev Home GitHub Extension Preview v0.10 Welcome to version 0.10 of the Dev Home GitHub Extension! This release we focused on adding GitHub Enterprise Server support. Here are our latest updates:ChangesYou can now sign in with a GitHub Enterprise Server account. (#286)The widget pinning experience now displays placeholder images of the widgets before pinning. (#312) (#325)Bug fixesIssue widgets with custom queries should now properly update. (#319)Cloning repositories should now work on ARM devices (Thanks @snickler!). (#321)

2025-04-24
User6826

Gh-extension: Remove an extension. The command "gh extension remove ${extension_name}" is a command-line command that is specific to the GitHub CLI (Command Line Interface).Here's an explanation of the different components of the command:"gh" refers to the GitHub CLI executable. It is a command-line tool that provides convenient access to GitHub features and functionality."extension" is a subcommand in the GitHub CLI that deals with the management of GitHub extensions. Extensions are additional functionalities integrated into the GitHub CLI by third-party developers."remove" is a subcommand under the "extension" subcommand. It is used to remove or uninstall a GitHub extension that is currently installed."${extension_name}" is a placeholder that represents the actual name of the extension you want to remove. You need to replace "${extension_name}" with the actual name of the GitHub extension you want to uninstall.When you run this command and replace "${extension_name}" with the actual extension name, the GitHub CLI will remove that specific extension from your system, effectively uninstalling it. This explanation was created by an AI. In most cases those are correct. But please always be careful and never run a command you are not sure if it is safe.

2025-04-16
User4087

Learn about containerization, generate Docker assets and analyze project vulnerabilities in GitHub CopilotPerplexity answers questions as you code by searching the webGet answers to your most complex coding questions right where you’re already workingCopilot Extension to connect and chat with GitHub ModelsProvides advanced and powerful diagramming and visualization to GitHub Copilot ChatLeverage your GitBook documentation to answer questions, providing instant responses in your workflowAsk questions about the ReadMe API and get help with code, directly in VS codeGet help with performance optimization techniques to make your code fasterThe Sentry Copilot Extension allows developers to fix broken code from the GitHub UIThe Octopus extension allows a cloud hosted Octopus instance to be queried via the GitHub Copilot chat interfaceChat with GitHub Copilot extension for Teams Toolkit to build Teams apps or customize and extend Microsoft 365 CopilotChat with your data! Write queries and code with natural languageThis extension leverages the power of agentic systems to enhance your coding experience. Agentic systems are intelligent entDesign, implement and analyze test automation right where you codeAtlassian Rovo for GitHub Copilot brings your company’s knowledge to your codeDevelopers can leverage this app to gain crucial context or build AI applications with vector databasesMake http requests by chattingChat with repositories, external databases, data warehouses, and data lakes directly in GitHub CopilotNew Relic AI-powered insights for app performance, monitoring, and deployment optimizationThe LaunchDarkly Copilot Extension, available under @launchdarkly-app

2025-03-30
User9835

GitHub Models extensionUse the GitHub Models service from the CLI!UsingPrerequisitesThe extension requires the gh CLI to be installed and in the PATH. The extension also requires the user have authenticated via gh auth.InstallingAfter installing the gh CLI, from a command-line run:gh extension install you've previously installed the gh models extension and want to update to the latest version, you can run this command:gh extension upgrade github/gh-modelsExamplesListing modelsExample output:Name Friendly Name PublisherAI21-Jamba-Instruct AI21-Jamba-Instruct AI21 Labsgpt-4o OpenAI GPT-4o Azure OpenAI Servicegpt-4o-mini OpenAI GPT-4o mini Azure OpenAI ServiceCohere-command-r Cohere Command R cohereCohere-command-r-plus Cohere Command R+ cohereUse the value in the "Name" column when specifying the model on the command-line.Running inferenceREPL modeRun the extension in REPL mode. This will prompt you for which model to use.In REPL mode, use /help to list available commands. Otherwise just type your prompt and hit ENTER to send to the model.Single-shot modeRun the extension in single-shot mode. This will print the model output and exit.gh models run gpt-4o-mini "why is the sky blue?"Run the extension with output from a command. This uses single-shot mode.cat README.md | gh models run gpt-4o-mini "summarize this text"NoticeRemember when interacting with a model you are experimenting with AI, so content mistakes are possible. The feature issubject to various limits (including requests per minute, requests per day, tokens per request, and concurrent requests)and is not designed for production use cases. GitHub Models usesAzure AI Content Safety. These filterscannot be turned off as part of the GitHub Models experience. If you decide to employ models through a paid service,please configure your content filters to meet your requirements. This service is underGitHub's Pre-release Terms. Youruse of the GitHub Models is subject to the followingProduct Terms andPrivacy Statement. Content within thisRepository may be subject to additional license terms.

2025-04-16

Add Comment