gitpod-io / gitpod-io/gitpod

Handle missing project configuration when the person who added a project left a team or a repository

Open
#7,220 2 comments 0 reactions 0 assignees View on GitHub

Nobody has claimed this yet.

component: dashboard feature: teams and projects [DEPRECATED] meta: never-stale team: webapp type: improvement user experience
Dominant language
TypeScript
Stars
13.8k
Forks
1.4k
Avg merge
17h 58m
Merged PRs (30d)
5

Description

Problem to solve

Currently, when the team member who added a project leaves a team or repository at GitLab:

  1. We don't have a way reconfigure the project using a new token from another team member ❗
  2. Users are still allowed to trigger prebuilds even if the webhook has been removed ❗

Could not reproduce the above for GitHub repositories as we'll need to set up the GitHub App.

Proposal

Following https://github.com/gitpod-io/gitpod/issues/7010, let's introduce a way to also reconfigure a project and re-installing a new webhook, etc.

This could be done using a new project settings area.

TBD (To be discussed)

Contributor guide

Open the contributing guide

First steps

  1. Read the whole issue, then the project's contributing guide.
  2. Comment on the issue to say you are picking it up — it saves two people doing the same work.
  3. Fork the repository and make your change on a branch.
  4. Open a pull request that references the issue number.

Research direction

Start by reading issue #7010 and reviewing the existing GitLab project-configuration and webhook flows. The scope is still to be discussed; done would mean a project settings area can reconfigure the project with another team member’s token, reinstall the webhook, and prevent prebuilds when the webhook is missing.

Written by the indexing model from the issue text.

Assessment

Tech stack
github, gitlab, typescript
Domain
backend, cloud, devops
Issue type
Feature
Difficulty
5/5
Estimated time
Over a week
Activity status
Stale
Clarity
Needs clarification
Newbie friendliness
25/100

Get new issues in your inbox

A short digest of beginner-friendly GitHub issues.