1c8b44f326
* Remove GitHub repositories when user deletes their own GitHub identity * Remove GitHub repos also from the admin remove identity * Add a notice in Settings/Extension * Add data update script to cleanup orphan GitHub repos
22 lines
630 B
Text
22 lines
630 B
Text
<% if show_integration %>
|
|
<div class="crayons-card crayons-card--content-rows">
|
|
<header>
|
|
<h2 class="crayons-subtitle-1">
|
|
GitHub
|
|
</h2>
|
|
<p class="color-base-70">
|
|
Pin your GitHub repositories to your profile.
|
|
</p>
|
|
<p class="color-base-70">
|
|
<em>Repositories will be disappear from your profile if you remove the OAuth association with GitHub.</em>
|
|
</p>
|
|
</header>
|
|
|
|
<div id="github-repos-container">
|
|
<div class="github-repos loading-repos">
|
|
</div>
|
|
</div>
|
|
|
|
<%= javascript_packs_with_chunks_tag "githubRepos", defer: true %>
|
|
</div>
|
|
<% end %>
|