Skip to content

PRs are not getting the Gitpod button (and they have a proper description) #13226

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
Open
RCheesley opened this issue Sep 23, 2022 · 7 comments
Open

PRs are not getting the Gitpod button (and they have a proper description) #13226

RCheesley opened this issue Sep 23, 2022 · 7 comments
Labels
component: github-app meta: never-stale This issue can never become stale team: webapp Issue belongs to the WebApp team type: bug Something isn't working

Comments

@RCheesley
Copy link

Bug description

We have had several PRs recently where the Gitpod button has not been appended.

Examples:

mautic/mautic#11481
mautic/mautic#11491
mautic/mautic#11486
mautic/mautic#11485

Steps to reproduce

Create a PR, and no button is shown - all our recent PRs have this issue.

Workspace affected

No response

Expected behavior

We would usually see the button in the description.

Example repository

No response

Anything else?

I have posted in Discord and was recommended to raise an issue.
@RCheesley RCheesley added the type: bug Something isn't working label Sep 23, 2022
@axonasif
Copy link
Member

Related: #7488

@axonasif axonasif added team: webapp Issue belongs to the WebApp team component: github-app labels Sep 23, 2022
@stale
Copy link

stale bot commented Dec 23, 2022

This issue has been automatically marked as stale because it has not had recent activity. It will be closed if no further activity occurs. Thank you for your contributions.

@stale stale bot added the meta: stale This issue/PR is stale and will be closed soon label Dec 23, 2022
@RCheesley
Copy link
Author

Still a problem

@stale stale bot closed this as completed Jan 10, 2023
@github-project-automation github-project-automation bot moved this to In Validation in 🍎 WebApp Team Jan 10, 2023
@RCheesley
Copy link
Author

@axonasif this is still an issue. We still have no buttons on our PRs eg mautic/mautic#11854. Please re-open as it is not completed.

@axonasif
Copy link
Member

Thank you for the nudge!

@axonasif axonasif reopened this Jan 10, 2023
@stale stale bot removed the meta: stale This issue/PR is stale and will be closed soon label Jan 10, 2023
@github-project-automation github-project-automation bot moved this from In Validation to Scheduled in 🍎 WebApp Team Jan 10, 2023
@RCheesley
Copy link
Author

Hi folks, any update on this? We are still not seeing the button on our PRs in our main repo mautic/mautic.

@axonasif axonasif added the meta: never-stale This issue can never become stale label Jan 30, 2023
@axonasif
Copy link
Member

Hi @RCheesley, I see that this issue was set to Scheduled on the WebApp Team project board. Perhaps we need to wait a bit more 🙏

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
component: github-app meta: never-stale This issue can never become stale team: webapp Issue belongs to the WebApp team type: bug Something isn't working
Projects
🍎 WebApp Team
Status: Scheduled
Milestone
No milestone
Development

No branches or pull requests
2 participants
@RCheesley @axonasif