>GitHub Personal Access Token</label>
                <input type="password" id="github-token" class="form-control width-full"
                    placeholder="ghp_xxxxxxxxxxxxxxxxxxxx">

                <p class="note">
                    This token is used to access GitHub API for repository indexing.
                    <br>Create a token with <code>repo</code> scope at
                    <a href="https://github.com/settings/tokens" target="_blank">GitHub Developer Settings</a>.
                </p>
  