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

Use new indicator in update-pr-from-base-branch #6334

Open
fregante opened this issue Feb 11, 2023 · 2 comments
Open

Use new indicator in update-pr-from-base-branch #6334

fregante opened this issue Feb 11, 2023 · 2 comments
Labels
enhancement help wanted

Comments

@fregante
Copy link
Member

fregante commented Feb 11, 2023 •
edited

https://github.blog/changelog/2023-02-10-see-when-a-pull-request-is-editable-by-maintainers/

We look for a snippet just below the mergeability box, but now we have an official UI item for that.
@fregante fregante mentioned this issue Feb 11, 2023
Closed
@fregante fregante self-assigned this Feb 13, 2023
@fregante
Copy link
Member Author

Merging this into the other issue since we're using the same selector for positioning at the moment.

@fregante fregante closed this as not planned Won't fix, can't repro, duplicate, stale Feb 13, 2023
@fregante fregante changed the title Use new indicator in “update PR” feature Use new indicator in update-pr-from-base-branch Feb 13, 2023
@fregante
Copy link
Member Author

Reopening because it can still be updated separately

@fregante fregante reopened this Apr 17, 2023
@fregante fregante mentioned this issue Apr 17, 2023
Merged
1 task
@fregante fregante removed their assignment May 2, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
enhancement help wanted
Milestone
No milestone
Development

No branches or pull requests
1 participant
@fregante