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.

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

Sync pull for PR with updates notification #3188

Closed
Tyriar opened this issue Dec 14, 2021 · 3 comments
Closed

Sync pull for PR with updates notification #3188

Tyriar opened this issue Dec 14, 2021 · 3 comments
Assignees
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality

Comments

@Tyriar
Copy link
Member

Tyriar commented Dec 14, 2021

Just got his on my new PC:

image

We should sync whether to show this notification via settings sync.

@alexr00 alexr00 self-assigned this Dec 15, 2021
@alexr00 alexr00 added the feature-request Request for new features or functionality label Dec 15, 2021
@alexr00 alexr00 added this to the January 2022 milestone Dec 15, 2021
@alexr00
Copy link
Member

alexr00 commented Dec 23, 2021

This was already done as part of #2628

@alexr00 alexr00 closed this as completed Dec 23, 2021
@alexr00 alexr00 removed this from the January 2022 milestone Dec 23, 2021
@sedghi
Copy link

sedghi commented Dec 23, 2021

@alexr00 Hi, I have similar issue (an already reviewed PR that has been updated rebased pushed with more commits), but the notification is not showing up for me. How can i update the PR with new changes? git pull doesn't work (which makes sense), how can i reset it to the head?

image

@sedghi
Copy link

sedghi commented Jan 14, 2022

@alexr00 appreciate your comment on my above issue

@alexr00 alexr00 added *duplicate Issue identified as a duplicate of another issue(s) and removed duplicate labels Dec 12, 2023
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
*duplicate Issue identified as a duplicate of another issue(s) feature-request Request for new features or functionality
Projects
None yet
Development

No branches or pull requests

3 participants