GitHub Pull Requests and Issuesというエクステンションには、GitHub上にあるソースコードのパーマリンクを取得できる機能がある。 しかし、これがうまく取得できず404が返ってきてしまう。だがmasterブランチへチェックアウトすると問題なくパーマリンクを…