Hasty Briefsbeta

All tags

#github

146 stories total

Bilingual

Show HN: GitMCP is an automatic MCP server for every GitHub repo
a year ago
- Change GitHub domain to gitmcp.io for instant AI context.
- Configure AI tools to use GitMCP URL as a custom MCP server.
- AI gains deep context by reading repository files like llms.txt, readme.md, etc.
- Works with any public GitHub repository and GitHub Pages.
- No complex setup required; just point to your GitHub repo.
I'm manually transcribing the AltairBASIC source, ten lines a day starting today
a year ago
- GitHub repository named 'AltairBASIC' by user 'LuciOfStars'.
- Repository has 1 watch, 0 stars, and 0 forks.
- Contains 1 commit, 1 branch, and 0 tags.
- Initial commit was made on April 4, 2025.
- Repository size is 28 KiB.
New #1 SOTA on Swe-bench is using Claude 3.7 and O1
a year ago
- SWE-bench is a dataset for testing AI systems' ability to solve GitHub issues automatically.
- The dataset includes 2,294 Issue-Pull Request pairs from 12 popular Python repositories.
- Evaluation is based on unit test verification using post-PR behavior as the reference solution.
- SWE-bench Lite is a curated subset for less costly and more accessible evaluation.
- SWE-bench Verified is a human-annotated subset with a ceiling of 100% resolution rate.
- SWE-bench Multimodal features issues with visual elements from JavaScript repositories.
- The % Resolved metric indicates the percentage of instances solved by the model.
- Submissions marked with 'Open' have open-source code, but the underlying model may not be open-source.
- Resources include downloadable datasets from HuggingFace and pre-processed datasets for fine-tuning.
- SWE-bench is for research purposes only, with a disclaimer for unexpected results.
Gemini 2.5 Pro is now available in GitHub Copilot
a year ago
- DeepSeek-V3 is deprecated; transition to DeepSeek-V3-0324 for enhanced features.
- Gemini 2.5 Pro is now available to all GitHub Copilot customers, offering advanced reasoning and coding capabilities.
- Copilot Pro/Pro+ users can access Gemini 2.5 Pro via model selectors in VS Code and GitHub.com chat.
- Copilot Business/Enterprise admins must enable Gemini 2.5 Pro via Copilot settings policy.
- CodeQL will stop generating alerts for hardcoded secrets after May 30, 2025; use GitHub Secret Scanning instead.
- Secret Scanning detects over 300 hardcoded secrets with better precision and recall than CodeQL.
- CodeQL queries for hardcoded secrets will be disabled, including those for multiple programming languages.
- Secret Scanning reduces duplicate alerts and provides better metadata for remediation.
Access to GitHub restricted for (part of) mainland China
a year ago
- Users in mainland China report being unable to access GitHub without a proxy.
- GitHub appears to be blocking requests from certain Chinese IP addresses, returning a 403 error.
- Logged-in users do not seem to be affected by the restrictions.
- Some users speculate that the issue might be related to network attacks or increased US tariffs.
- Concerns are raised about GitHub potentially abandoning the Chinese market, with warnings about the futility of technological blockades.
- No official announcement or explanation has been provided by GitHub regarding the restrictions.
Local CI. Sign off on your own work
a year ago
- GitHub CLI extension for local CI allows running tests on your own machine.
- Remote CI runners are great but may be unnecessary for some apps.
- Modern dev laptops are fast and underutilized, making them ideal for local CI.
- Cloud CI services can be slow, expensive, and rented.
- The extension simplifies getting a green GitHub commit status without cloud CI.
- Commands include installing the extension, signing off on PRs, and requiring signoff for merges.
- Supports adding completion to ~/.bashrc.
- Open-source under MIT License.
Show HN: GitHub Detective – Investigate what a GitHub user has been up to
a year ago
- Sponsored by You-TLDR for quick YouTube video summaries.
- GitHub Detective tool to investigate a GitHub user's public activities.
- Enter a GitHub username to view their latest public events.
GPT-4.1 now available in GitHub Copilot and GitHub Models
a year ago
- OpenAI's GPT-4.1 is now available in GitHub Copilot and GitHub Models, offering improved performance in coding, instruction following, and long-context understanding.
- GPT-4.1 features a larger context window and a refreshed knowledge cutoff of June 2024, optimized for real-world developer use.
- The model is available for all Copilot plans, including Copilot Free, and can be accessed via the model picker in Visual Studio Code and GitHub.com chat.
- Copilot Enterprise administrators need to enable GPT-4.1 access through a new policy in Copilot settings.
- GitHub Models users can experiment with GPT-4.1 in the playground alongside other models like those from Cohere, DeepSeek, Meta, and Microsoft.
- Meta's latest AI models, Llama-4-Scout-17B and Llama-4-Maverick-17B, are now available on GitHub Models, optimized for tasks like summarization, reasoning, chat, and image analysis.
- GitHub Codespaces introduces Agentic AI, allowing users to open a Codespace with VSCode's Copilot agent mode directly from a GitHub issue for streamlined implementation.
Important open source projects should not use GitHub (2020)
a year ago
- Microsoft's acquisition of GitHub and npm raises concerns about control over open source projects.
- Historical context: Microsoft was once an adversary of open source, employing tactics against Linux.
- Current situation: Many important open source projects still rely on GitHub despite Microsoft's ownership.
- Risks: Centralizing code repositories on GitHub gives Microsoft significant influence over the open source community.
- Alternatives: Projects like Codeberg and sourcehut offer privacy-focused, independent hosting options.
- Call to action: Large open source projects should self-host to maintain independence from corporate control.
Show HN: I built an AI that turns GitHub codebases into easy tutorials
a year ago
- Tutorial on building an AI agent to analyze GitHub repositories and generate beginner-friendly tutorials.
- Uses Pocket Flow, a 100-line LLM framework, to crawl and analyze codebases.
- Identifies core abstractions and interactions within the code.
- Transforms complex code into clear tutorials with visualizations.
- Supports analyzing both GitHub repositories and local directories.
- Generates tutorials in multiple languages, including English and Chinese.
- Includes options to specify files to include/exclude and set maximum file size.
- Built using Agentic Coding, where humans design and AI agents code.
- Powered by Pocket Flow, enabling AI agents to build applications.
- Step-by-step YouTube development tutorial available.
Show HN: A Standalone/GitHub CLI Extension to Preview GitHub Flavored Markdown
a year ago
- A Go program named 'gh-gfm-preview' for previewing GitHub Flavored Markdown (GFM) locally.
- Starts a local web server to serve and render markdown documents using yuin/goldmark and extensions.
- Can be used as a GitHub CLI extension.
- Hard fork of yusukebe/gh-markdown-preview, focusing on offline functionality.
- Features include offline operation, fast rendering, no dependencies, zero-configuration, live reloading, auto browser opening, auto port finding, and graceful degradation.
- Supports most GitHub Flavored Markdown specs, emojis, alerts, syntax highlighting, section links, MathJax, Mermaid diagrams, GeoJSON/TopoJSON diagrams, and STL 3D diagrams.
- Installation methods include using Go, Nix with Flakes enabled, or as a GitHub CLI extension.
- Usage involves running the command with a markdown file or letting it detect a README file automatically.
- Options include dark/light mode, disabling auto-open/reload, setting host/port, and verbose output.
- Example provided for integrating with Neovim for markdown previews.
- Commands for regenerating assets and building the program are listed.
- References to related projects and tools are provided.
Why users cannot create Issues directly
a year ago
- Users cannot create Issues directly in the repository; they must start with a Discussion.
- Ghostty uses GitHub Discussions for discussions and feature requests, not the issue tracker.
- Discussions are converted to Issues by maintainers when they identify actionable items.
- This approach helps maintainers and contributors focus on ready-to-work issues.
- Most user-reported 'bugs' are misunderstandings, environmental issues, or configuration errors.
- Feature requests often lack detail and need maintainer guidance.
- Valid problems identified in Discussions are converted to Issues by maintainers.
- For more details, refer to CONTRIBUTING.md.
How I made $64k from deleted files – a bug bounty story
a year ago
- Sharon Brizinov built an automation tool to scan GitHub repositories for leaked secrets by restoring deleted files and analyzing Git internals.
- The process involved collecting targets from public bug bounty programs, cloning repositories, and using tools like TruffleHog to find active secrets.
- Key findings included production tokens from GCP, AWS, Slack, and GitHub, with bounties ranging from $300 to $15,000.
- Common reasons for leaks included lack of Git knowledge, accidental commits of binary files, and ineffective use of history-rewriting tools.
- The project resulted in $64,350 in bug bounty rewards and improved security for affected companies.
Show HN: We made a blazing-fast, open-source GitHub front end
a year ago
- Early BetaNext.js Global Hackathon 2025
- gitfaster is a minimal, blazing fast GitHub client
- Predictive Prefetching for a fast experience
- Caching slow responses from GitHub API for faster access
- Built with performance in mind to feel fast
Show HN: StackHound - Stop guessing repo's tech stack, analyze it in seconds
a year ago
- A Personal Access Token with repo scope (or public_repo for public repos) is required.
- Tokens must be managed securely.
- The StackHound API can be queried directly at the /api/analyze endpoint.
- The endpoint requires username and repo as query parameters.
- It analyzes dependency files (e.g., package.json, requirements.txt) to detect technologies.
- Include the token in the request header using Authorization: Bearer YOUR_TOKEN or X-GitHub-Token: YOUR_TOKEN.
- Code examples are provided for reference.
- Replace placeholders (YOUR_USERNAME, YOUR_REPO, YOUR_GITHUB_TOKEN) with actual values.
GitDroid: A third party Android app manager for apps uploaded to GitHub releases
a year ago
- GitDroid is a third-party Android app manager for apps uploaded to GitHub releases.
- The repository TechnicJelle/GitDroid has no releases or packages published yet.
- Users must be signed in to change notification settings.
- The repository has 0 forks, indicating it might be a new or less popular project.
Building a more accessible GitHub CLI
a year ago
- GitHub is committed to making its tools accessible for all developers, including those using the command line interface (CLI).
- The GitHub CLI is being improved to address accessibility needs for screen reader users, high contrast requirements, and customizable color options.
- Terminal accessibility differs from web accessibility, with no comprehensive standards like WCAG for CLIs, prompting GitHub to innovate.
- GitHub CLI's Public Preview introduces features like a new prompter for screen readers and static text progress indicators.
- Color and contrast improvements in the CLI ensure better visibility and customization options for users.
- GitHub aims to extend accessibility improvements to CLI extensions and enhance table formatting for screen readers.
- Feedback from the community is encouraged to further refine the CLI's accessibility features.
OpenAI Launches GitHub "Connector" for ChatGPT Deep Research
a year ago
- OpenAI introduces a GitHub connector for ChatGPT Deep Research, allowing access to private and public repositories.
- Deep Research, launched in February, autonomously performs multi-step research tasks, analyzing and synthesizing online data.
- The GitHub connector enables real-time analysis of code, README files, and documentation, with responses citing relevant snippets.
- Nate Gonzalez, OpenAI's Head of Business Products, highlights user demand for connecting internal data sources like private code.
- The feature is in beta, initially available to Team users, with gradual rollout to Plus and Pro users, excluding some regions.
- Enterprise access will be announced later; users can connect GitHub via the composer interface or settings menu.
- Privacy measures include default non-use of business customer content for model training, with opt-in settings for other plans.
- Practical notes: repository access may take 5 minutes post-connection, and manual indexing or admin approval might be required.
- Limitations include searching only repository names, not individual files, within ChatGPT using the connector.
Anchor links copied from project READMEs now add a query parameter
a year ago
- Anchor links in GitHub READMEs now include a '?tab=readme-ov-file' query parameter, making URLs harder to read.
- Users find the extra parameter unnecessary and problematic for readability, sharing, and bookmarking.
- A Tampermonkey script is provided as a quick fix to remove the parameter from URLs.
- The issue affects highlighter browser extensions and other tools that depend on clean URLs.
- There is a petition to remove the parameter, as it's been an issue for over two years without resolution.
Updated rate limits for unauthenticated requests
a year ago
- GitHub is updating rate limits for unauthenticated requests to enhance security and reliability.
- The changes affect operations like cloning repositories over HTTPS, anonymous REST API interactions, and downloading files from raw.githubusercontent.com.
- The update is in response to increased scraping activity targeting GitHub's API.
- Unauthenticated users may experience new rate limits, while authenticated users will maintain higher rate limits.
- GitHub encourages the use of authentication for better consistency and reliability in accessing its services.

firstprev0next

About|Login

#github

Show HN: GitMCP is an automatic MCP server for every GitHub repo

I'm manually transcribing the AltairBASIC source, ten lines a day starting today

New #1 SOTA on Swe-bench is using Claude 3.7 and O1

Gemini 2.5 Pro is now available in GitHub Copilot

Access to GitHub restricted for (part of) mainland China

Local CI. Sign off on your own work

Show HN: GitHub Detective – Investigate what a GitHub user has been up to

GPT-4.1 now available in GitHub Copilot and GitHub Models

Important open source projects should not use GitHub (2020)

Show HN: I built an AI that turns GitHub codebases into easy tutorials

Show HN: A Standalone/GitHub CLI Extension to Preview GitHub Flavored Markdown

Why users cannot create Issues directly

How I made $64k from deleted files – a bug bounty story

Show HN: We made a blazing-fast, open-source GitHub front end

Show HN: StackHound - Stop guessing repo's tech stack, analyze it in seconds

GitDroid: A third party Android app manager for apps uploaded to GitHub releases

Building a more accessible GitHub CLI

OpenAI Launches GitHub "Connector" for ChatGPT Deep Research

Anchor links copied from project READMEs now add a query parameter

Updated rate limits for unauthenticated requests