https://github.com/nju33/gitpod-workspace

An environment for developing on Gitpod
https://github.com/nju33/gitpod-workspace

gitpod-workspace

Last synced: 3 months ago
JSON representation

An environment for developing on Gitpod

• Host: GitHub
• URL: https://github.com/nju33/gitpod-workspace
• Owner: nju33
• Created: 2021-04-16T00:03:09.000Z (about 5 years ago)
• Default Branch: main
• Last Pushed: 2024-09-17T23:39:56.000Z (over 1 year ago)
• Last Synced: 2025-07-19T21:55:59.912Z (11 months ago)
• Topics: gitpod-workspace
• Homepage:
• Size: 150 KB
• Stars: 0
• Watchers: 0
• Forks: 0
• Open Issues: 2
• Metadata Files:
  • Readme: README.md

Awesome Lists containing this project

README

          
# 

## Gitpod Workspace

[![Bump the docker image version](https://github.com/nju33/gitpod-workspace/actions/workflows/bump-docker-image-version.yml/badge.svg)](https://github.com/nju33/gitpod-workspace/actions/workflows/bump-docker-image-version.yml)

### Gitpod Variables

- `GIT_USER_SIGNINGKEY` is a sign necessary when you do `git commit`

- `NGROK_AUTHTOKEN` is ngrok's authentication

- `GPG_SECRET_KEY` is your gpg secret key encoded in base64

- `GH_AUTHTOKEN` is GitHub CLI's authentication

- `BIT_SSH_SECRET_KEY` is you ssh secret key encoded in base64 for bit.dev

- `RCLONE_CONFIG_CONTENTS` is RClone's config in base64

- `SSH_GITHUB_PASSPHRASE`