🐙GitHub：GitHub連携プラグイン

[h.nakajima]

貢献者へのバッジの割り当て、パーマリンクの作成、GitHub 上のコミットへのリンクバックの作成ができます。

GitHub プラグインは GitHub 組織との統合を可能にします。オプションには、トップコミッターや貢献者のバッジ、Discourse上でGitHubのコミットが参照された際にコメントを作成するリンクバック、Githubの非パーマリンクをパーマリンクに置き換えるパーマリンクなどがあります。