Save private notes, labels, and pins for GitHub. Keep track of issues, pull requests, repos, and discussions.

Latest Version

Version
1.1.4
Update
July 19, 2024
Size
685KiB
Developer
dossi.dev
Category
Users
38
Rating
5 ★
Manifest Version
3
Web Store Status
Languages Support
English
See more
Permissions
Storage
Tabs
Cookies
WebNavigation
See more

dossi - Private GitHub Notes & Labels Extension

Create private notes and labels on GitHub repositories, issues, PRs, and discussions. Keep track of your ideas while working on projects, manage open issues, or collaborate on pull requests. Organize important content with pins and streamline your workflow with a dashboard of recent activities.

Great for developers working across a lot of repos and organizations.
And for companies and organizations that manage a lot of public open source projects and repos. Or, if you just want an easier way to track interesting repos.

The extension and server are open source:
- Browser extension - https://github.com/siegerts/dossi-ext
- Web app and API - https://github.com/siegerts/dossi-app

To begin, log in and click the Dossi button on any GitHub page after the extension is installed.

🗒️ Private Notes:
With dossi, every GitHub page becomes a place to capture notes. Write, edit, and save your ideas privately, allowing you to revisit your insights later. Context-aware note taking redefines your GitHub experience.

💻 Open Source:
The extension and app are open source. Feel free to inspect the code, make suggestions, or even host it yourself.

🪄 Bring your own LLM API key (OpenAI compatible):
Use your own API key (never leaves the browser) to create, save, and use your own prompts to use with GitHub Issue and Discussion content.
Your settings are only stored in your browser and never sent to any servers except OpenAI when using a prompt. Save prompt output as new notes.

🏷️ Labels:
Categorize with private labels. Classify your notes across projects and themes, making it easier than ever to revisit specific topics and organize your thought process.

📌 Pins:
Find an interesting discussion or a complex PR? Use pins to bookmark for quick access. Pinned pages let you keep a pulse on what’s important or relevant to you - and what to follow up on.

🗄️ Activity Dashboard:
Keep track of content while navigating multiple GitHub pages. Find your way back to notes taken and manage all recent activity.

---


Have any questions? Don't hesitate to reach out @dossidev on https://x.com/dossidev.
Read more

Source Manifest.json

{
"update_url": "https://clients2.google.com/service/update2/crx",
"icons":{"16":"icon16.plasmo.6c567d50.png",
"32":"icon32.plasmo.76b92899.png",
"48":"icon48.plasmo.aced7582.png",
"64":"icon64.plasmo.8bb5e6e0.png",
"128":"icon128.plasmo.3c1ed2d2.png"},
"manifest_version":3,
"action":{"default_icon":{"16":"icon16.plasmo.6c567d50.png",
"32":"icon32.plasmo.76b92899.png",
"48":"icon48.plasmo.aced7582.png",
"64":"icon64.plasmo.8bb5e6e0.png",
"128":"icon128.plasmo.3c1ed2d2.png"},
"default_popup":"popup.html"},
"version":"1.1.4",
"author":"dossi",
"name":"dossi - Private GitHub Notes & Labels",
"description":"Save private notes, labels, and pins for GitHub. Keep track of issues, pull requests, repos, and discussions.",
"background":{"service_worker":"static/background/index.js"},
"options_ui":{"page":"options.html",
"open_in_tab":true},
"permissions":["storage",
"tabs",
"cookies",
"webNavigation"],
"content_scripts":[{"matches":["https://github.com/*"],
"js":["connct-sidebar.f2020dc5.js"],
"css":["connct-sidebar.8757f36b.css"]}],
"host_permissions":["https://www.dossi.dev/*"],
"web_accessible_resources":[{"matches":["https://github.com/*"],
"resources":["connct-sidebar.6b02400f.css",
"connct-sidebar.db79d6d5.css"]}]}
Read more

How to download and manually install dossi - Private GitHub Notes & Labels extension for Chrome

Looking for a way to install dossi - Private GitHub Notes & Labels extensions for Chrome, you can search for them in the Chrome Web Store, clicking the "Add to Chrome" button, and following the straightforward process.

However, you may need to install dossi - Private GitHub Notes & Labels extensions manually, this article outlines two simple methods to effortlessly install dossi - Private GitHub Notes & Labels extensions, whether they come as unpacked folders in compressed formats like .zip or as .crx files.

Method 1: Download dossi - Private GitHub Notes & Labels extension and manually install through Drag &Drop

If you ever need to manually install a dossi - Private GitHub Notes & Labels extension for Chrome, don't worry, it's a simple process. Just follow these easy steps, and you will have your extension ready to use in no time.

Step 1: Download the dossi - Private GitHub Notes & Labels Extension by clicking the "Download CRX" button on the website.

Look for the dossi - Private GitHub Notes & Labels extension you wish to install. Go to the website and download the dossi - Private GitHub Notes & Labels extension package, which is usually a .CRX file and comes in a zipped file. Here ".crx" file is the format for dossi - Private GitHub Notes & Labels extension that contains all the data.

Step 2: Extract &Arrange Files

Once the file is downloaded, extract that file into its own folder. Similarly, give that extension files a permanent home. In other words, keep it in a folder that you don't accidentally delete it because these files will be needed to make that extension work.

Step 3: Go to the Chrome Extensions Page

Open Google Chrome and in the address bar, type chrome://extensions; it will open the Google Chrome extensions page. Make sure that "My extensions" is selected in the sidebar.

Step 4: Drag and Drop the Extension

Now, go to the folder where you extracted the dossi - Private GitHub Notes & Labels extension and drag &drop the extension file from there anywhere onto the extension page within Google Chrome.

Step 5: Complete the Installation

Once you drag and drop the extension file, follow the steps that Google Chrome takes you through. Similarly, if the extension file is of .crx file format, you will be required to review the permissions and then add the extension.

Now, you can manage that added extension as you would like to with any other Chrome extension that you added through Chrome Webstore. Its icon will also appear in the Google Chrome Menu on the right side of the address bar once you activate it.

Method 2: Download dossi - Private GitHub Notes & Labels extension for Chrome and install in Developer Mode

This is another method to install dossi - Private GitHub Notes & Labels extension manually, but the twist is that here, you install by enabling the developer mode option provided in Google Chrome. This mode is commonly used for testing extensions or running unpublished tools.

Step 1: Download the dossi - Private GitHub Notes & Labels extension file

Select and download the dossi - Private GitHub Notes & Labels extension by clicking the 'Download CRX' button on the website.

Step 2: Extract the downloaded contents

Convert the file to a ZIP file if it is in CRX format then extract the dossi - Private GitHub Notes & Labels extension zip file or folder that you downloaded. Make sure you extract it using the same folder name and keep it safely in another folder, so you don't delete it by mistake. The extracted folder will be needed to keep your dossi - Private GitHub Notes & Labels extension running.

Step 3: Open Chrome Extension Setting Page

In the address bar of Google Chrome, type chrome://extensions and open the Chrome Extension Page.

Step 4: Enable Developer Mode

After opening the Chrome Extension page, look at the top right side, and you will find the toggle option of "Developer mode."Simply enable that developer mode option.

Step 5: Load the Unpacked Extension

Once you enable the developer mode option, you will see the menu of Load Unpacked, Pack Extensions and Update. From that, select the option "Load unpacked."

Step 6: Select the Extension Folder

Once the pop-up opens upon clicking Load unpacked, select the dossi - Private GitHub Notes & Labels extension directory and click on the "Select Folder "button.

Step 7: Confirm and Install

After you select an extension folder of a Google Chrome extension you're installing manually, confirm its installation for the final time and let the installation complete.

Conclusion

Here we've made a step-by-step guide on How to manually install dossi - Private GitHub Notes & Labels extension in 2 ways. We hope this guide proves helpful.

Similar Extensions

icon

Store Watchers Extension · Developer Tools 38 0 ★ 303KiB

icon

TimeToCoda Extension · Productivity 38 2 ★ 1.56MiB

icon

Stopwatch for Excel Extension · Productivity 38 0 ★ 6.03KiB

icon

Thymeline Extension · Productivity 38 1 ★ 230KiB

icon

One Page Reader Extension · Productivity 38 0 ★ 11.64KiB

icon

Context Overlay Extension · Productivity 38 0 ★ 3.6MiB

icon

Magento 2 images replace tool Extension · Developer Tools 38 0 ★ 16.87KiB

icon

Coder's Toolbox Extension · Developer Tools 38 0 ★ 56.78KiB

icon

Autoviewed Extension · Developer Tools 38 2 ★ 235KiB

icon

Subeditor: Webpage Text Editor Extension · Productivity 38 2 ★ 7.6KiB

icon

New Reddit comment faces Extension · Social & Communication 38 1 ★ 36.61KiB

icon

Reddit Wayback Redirector Extension · Accessibility 38 1 ★ 24.98KiB

icon

ZeitPub Extension · Social & Communication 38 1 ★ 9.8KiB

icon

storageGPT Extension · Productivity 38 5 ★ 160KiB

icon

Character Input Extension · Productivity 38 0 ★ 398KiB

icon

Tabsets.net Extension · Productivity 38 2 ★ 9.6MiB

icon

Chatty File Uploader Extension · Productivity 38 1 ★ 8.94KiB

icon

GPT Based - A Powerful ChatGPT Prompt Generator Extension · Productivity 38 5 ★ 305KiB

icon

PRMDB for Bard-Gemini Extension · Productivity 38 2 ★ 1.0MiB

icon

Power Prompt For ChatGPT & OpenAi Extension · Productivity 38 2 ★ 875KiB

icon

Pushpin Extension · Productivity 38 9 ★ 55.91KiB

icon

BookmarkGPT - Bookmark Your ChatGPT Prompts Extension · Productivity 38 13 ★ 1.68MiB

icon

GPTEnhancer Extension · Productivity 38 6 ★ 10.81MiB

icon

Boss Hub | Event Extension · Productivity 38 0 ★ 2.07MiB

User reviews

icon

Josef Aidt (ID: 0000002e7aadf647) Voted 5 ★ - Updated 09/15/2023 Dossi is great because it helps me colocate my notes about GitHub issues with the issues themselves! Saves so much time going back and forth to external note-taking apps, or trudging through project management software to find my notes! Would recommend