Theia - GitHub Plug-in The GitHub plug-in allows to generate and upload public SSH key to GitHub. Adds the following commands (shortcut F1): GitHub: Authenticate ... GitHub: Generate Ssh key and upload it to GitHub ... License EPL-2.0