以下の文をHTMLタグを保持したまま日本語に翻訳してください：「Boost Your GitHub Workflow with dossi」
dossiは、dossi.devによって開発された無料のChromeアドオンで、GitHubの体験を向上させることを目指しています。dossiを使用すると、GitHubリポジトリ、課題、プルリクエスト、ディスカッションにプライベートノートとラベルを追加して、生産性を向上させ、整理された状態を保つことができます。
dossiの主な機能の1つは、任意のGitHubページにプライベートノートを作成できることです。オープンソースプロジェクトを探索したり、課題をトリアージしたり、プルリクエストで協力したりする場合でも、簡単に自分の考えやアイデアをプライベートにキャプチャすることができます。これにより、洞察を追跡し、後で再訪することができ、GitHubの体験が向上します。
dossiのもう1つの便利な機能は、個別のラベルを追加して考えやアイデアを分類することができることです。個別のラベルを使用すると、プロジェクトやテーマごとにノートを簡単に分類し、特定のトピックを再訪し、思考プロセスを追跡することができます。
プライベートノートとラベルに加えて、dossiはピン機能も提供しています。ピンを使用すると、興味深いディスカッションや複雑なプルリクエストをブックマークして、簡単にアクセスすることができます。ページをピン留めすることで、重要で関連性のある情報に常にアクセスできるため、時間と労力を節約できます。
最近のアクティビティを管理するために、dossiはアクティビティダッシュボードを提供しています。アクティビティダッシュボードを使用すると、複数のGitHubページをナビゲートしながらコンテンツを追跡することができます。また、メモを見つけて最近のアクティビティを効果的に管理する方法も提供しています。
dossiを使用してGitHubのワークフローを向上させ、整理された状態を保ちましょう。アドオンをインストールし、GitHubページに表示されるdossiボタンをクリックして開始します。質問やサポートについては、Twitterの@dossidevにお問い合わせください。
