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

[Bug] Merged PR requests not reflected for EmbeddedChat #108

Open
honey-grapes opened this issue Mar 4, 2023 · 0 comments
Open

[Bug] Merged PR requests not reflected for EmbeddedChat #108

honey-grapes opened this issue Mar 4, 2023 · 0 comments

Comments

@honey-grapes
Copy link

honey-grapes commented Mar 4, 2023 •
edited
Loading

Hi, I noticed that after my PR was merged on the EmbeddedChat repo, it disappeared entirely on the leaderboard (not accounted for on the open or merged PR). I have spoke to another GSOC participant and he also had an open PR that was merged and it stayed as an open PR on the leaderboard. We both got our PRs merged on the EmbeddedChat.

I can look into this issue if no one else is working on it yet.
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

No branches or pull requests
1 participant
@honey-grapes