TE
TechEcho
Home
24h Top
Newest
Best
Ask
Show
Jobs
English
GitHub
Twitter
Home
GitHub Pull Requests Incident
5 points
by
amir734jj
almost 2 years ago
2 comments
yla92
almost 2 years ago
Yeah it's affecting us: the PR is already approved but when I merge and push, it's saying it's not approved.
amir734jj
almost 2 years ago
I am able to push my local change to github but the changes don't show up in a PR