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

Split default gitpod view to include all tasks #22555

Merged
merged 5 commits into from Jan 20, 2023
Merged

Split default gitpod view to include all tasks #22555

merged 5 commits into from Jan 20, 2023

Conversation

yardenshoham
Copy link
Member

@yardenshoham yardenshoham commented Jan 20, 2023 •
edited

It was showing only the docs process

Before

image

After

image

@yardenshoham
Split default gitpod view to include all tasks
eb2c067 
Signed-off-by: Yarden Shoham <hrsi88@gmail.com>
@yardenshoham yardenshoham added type/enhancement An improvement of existing functionality skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. labels Jan 20, 2023
@yardenshoham yardenshoham added this to the 1.19.0 milestone Jan 20, 2023
silverwind
silverwind approved these changes Jan 20, 2023
View reviewed changes
Copy link
Member

@silverwind silverwind left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Could also order backend - frontend - docs

@GiteaBot GiteaBot added the lgtm/need 1 This PR needs approval from one additional maintainer to be merged. label Jan 20, 2023
@GiteaBot GiteaBot added lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. and removed lgtm/need 1 This PR needs approval from one additional maintainer to be merged. labels Jan 20, 2023
@yardenshoham yardenshoham added the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Jan 20, 2023
@jolheiser
Copy link
Member

🎺 🤖

@jolheiser jolheiser merged commit f417157 into go-gitea:main Jan 20, 2023
@jolheiser jolheiser removed the reviewed/wait-merge This pull request is part of the merge queue. It will be merged soon. label Jan 20, 2023
@yardenshoham yardenshoham deleted the gitpod-view branch January 20, 2023 19:46
@go-gitea go-gitea locked and limited conversation to collaborators May 3, 2023
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@silverwind silverwind silverwind approved these changes

@jolheiser jolheiser jolheiser approved these changes

Assignees
No one assigned
Labels
lgtm/done This PR has enough approvals to get merged. There are no important open reservations anymore. skip-changelog This PR is irrelevant for the (next) changelog, for example bug fixes for unreleased features. type/enhancement An improvement of existing functionality
Projects
None yet
Milestone
1.19.0
Development

Successfully merging this pull request may close these issues.

None yet
4 participants
@yardenshoham @jolheiser @silverwind @GiteaBot