Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

[code] feat(gitpod): adjust community links #5043

Closed
wants to merge 2 commits into from
Closed

[code] feat(gitpod): adjust community links #5043

wants to merge 2 commits into from

Conversation

ghuntley
Copy link
Contributor

@ghuntley ghuntley commented Aug 3, 2021

@roboquat
Copy link
Contributor

roboquat commented Aug 3, 2021

[APPROVALNOTIFIER] This PR is NOT APPROVED

This pull-request has been approved by:
To complete the pull request process, please assign fntlnz after the PR has been reviewed.
You can assign the PR to them by writing /assign @fntlnz in a comment when ready.

No associated issue. Update pull-request body to add a reference to an issue, or get approval with /approve no-issue

The full list of commands accepted by this bot can be found here.

Needs approval from an approver in each of these files:

Approvers can indicate their approval by writing /approve in a comment
Approvers can cancel approval by writing /approve cancel in a comment

@roboquat roboquat requested a review from fntlnz August 3, 2021 05:30
@ghuntley
Copy link
Contributor Author

ghuntley commented Aug 3, 2021 •
edited by werft-gitpod-dev-com bot
Loading

/werft run

👍 started the job as gitpod-build-gh-vscode-community-links.1

@akosyakov
Copy link
Member

akosyakov commented Aug 4, 2021 •
edited by werft-gitpod-dev-com bot
Loading

/werft run

👍 started the job as gitpod-build-gh-vscode-community-links.2

@ghuntley ghuntley changed the title [testing] feat(gitpod): adjust community links [code] feat(gitpod): adjust community links Aug 4, 2021
@ghuntley
Copy link
Contributor Author

ghuntley commented Aug 4, 2021 •
edited by werft-gitpod-dev-com bot
Loading

Gimmie a freshie please werft!

/werft run

👍 started the job as gitpod-build-gh-vscode-community-links.4

@akosyakov
Copy link
Member

@ghuntley ping me when it is good for review

@akosyakov
Copy link
Member

will be a part of #5107

@akosyakov akosyakov closed this Aug 11, 2021
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Reviewers

@fntlnz fntlnz Awaiting requested review from fntlnz

Assignees
No one assigned
Labels
do-not-merge/work-in-progress editor: code (browser) size/XS
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.
3 participants
@ghuntley @roboquat @akosyakov