EmbeddingGemma 2: an open, lightweight multimodal embedding model
deepmind.google·6d ago
AI Engineering
Hacker News·26d ago·5 min read
GitHub Is Having Trouble Counting Things
TL;DR
GitHub is experiencing significant UI bugs, including incorrect PR counts and navigation issues with pop-up windows. These problems hinder user experience, especially for long-time users managing multiple organizations.
✦ Why It Matters
Consider reporting any UI bugs you encounter on GitHub to help improve the platform.
Key Takeaways
- Check PR counts after merging for accuracy.
- Use JavaScript for navigation in pop-up windows.
- Report UI bugs to GitHub support.
- Stay updated on GitHub's bug fixes.
Full Summary
Recently, users have reported two notable UI bugs on GitHub. The first issue involves the overcounting of pull requests (PRs) displayed in a repository's tab, particularly after merging a PR, despite the correct count being visible on the same page.
The second issue arises when users attempt to set up Sentry, a monitoring tool, and face difficulties navigating through multiple organization memberships. Specifically, Chrome restricts address modifications in pop-up windows, complicating access to the desired project.
Users can, however, use JavaScript to force navigation. These bugs highlight potential flaws in GitHub's UI that could frustrate users, especially those with extensive organization memberships.