2023年11月4日のブックマーク (3件)

  • Multi-account support on GitHub.com

    November 3, 2023 GitHub.com now remembers multiple accounts in your browser. You can find the account switcher in your profile picture context menu, letting you more easily switch between user accounts without re-entering your credentials. The account switcher helps developers alternate between Enterprise Managed User accounts provided by an employer and personal accounts for use with personal pro

    Multi-account support on GitHub.com
    delphinus35
    delphinus35 2023/11/04
    “The account switcher helps developers……”の節に書いてあるが、個人ユーザーの複垢利用を認めたものではない。あくまでEnterpriseアカウントとの併用とかBotアカウントの管理のために使え、とのこと。
  • スラッシュ コマンドについて - GitHub Docs

    スラッシュ コマンドを使用すると、複雑な Markdown を作成する際に必要な入力を減らし、時間を節約することができます。 スラッシュ コマンドについて スラッシュ コマンドを使用すると、テーブル、タスクリスト、コード ブロックなど、より複雑な Markdown を簡単に入力できます。 スラッシュ コマンドは、そのスラッシュ コマンドがサポートされている issue、pull request、またはディスカッションの任意の説明フィールドまたはコメント フィールドで使用できます。 スラッシュ コマンドを使用する スラッシュ コマンドは、コメント フィールドにコマンドを入力し、プロンプトに従うことで使用することができます。 複雑な Markdown をコメントに挿入するには、次のいずれかのコマンドを入力します。 コマンド説明

    スラッシュ コマンドについて - GitHub Docs
    delphinus35
    delphinus35 2023/11/04
    おおおお。<details> 入力がめんどくさかったんだがこれで簡単になるな!Enterprise にも早よ!
  • 「スターリンですら12万死んだら戦争やめたのに、プーチンすげーな」

    OSINT (Uri) 🇺🇦 @UKikaski Zaluzhny, from his interview with the Economist: “It was my mistake. Russia lost at least 150,000 people killed. In any other country, such losses would have stopped the war. But not in Russia, where life is cheap. In this sense, Putin's Russian Federation is truly an absolute anomaly. Even in former times, human lives in Russia were not valued as cheaply as they are now

    「スターリンですら12万死んだら戦争やめたのに、プーチンすげーな」
    delphinus35
    delphinus35 2023/11/04
    “兵庫で最大の粉砕機はB52/JDAMプラットフォームである。”唐突に兵庫県出てきたので混乱した。