Search results for: Pull Request

GitHub uses MySQL to store its metadata: Issues, Pull Requests, comments, organizations, notifications and so forth. While git repository data does not need MySQL to exist and persist, GitHub’s service…

We serve a lot of diffs here at GitHub. Because it is computationally expensive to generate and display a diff, we’ve traditionally had to apply some very conservative limits on…

GitKraken is now part of the Student Developer Pack. Students can manage Git projects in a faster, more user-friendly way with GitKraken’s Git GUI for Windows, Mac, and Linux. GitKraken…

Today is Veteran’s Day here in the United States, or Remembrance Day in many places around the world, when we recognize those who have served in the military. Today many…

GitHub Enterprise 2.8 adds power and versatility directly into your workflow with Reviews for more streamlined code review and discussion, Projects to bring development-centric project management into GitHub, and Jupyter…

If you’ll be attending The Next Web NYC on November 16, we’d love to have you join us for our Patchwork round table session. The session is open to all…

On November 17, we’re teaming up with our friends at Ingressive who are hosting a GitHub Patchwork and Meetup/Q&A in Lagos, Nigeria after day one of their High Growth Africa…

We’re hosting this Patchwork with our friends at Condé Nast in Austin. The event is open to all beginners to Git and GitHub, or mentors who would like to help…

You can now use GitHub Projects at the Organization level. All users in your Organization will have access to its Projects, so you and your team can plan and manage…

To highlight the people behind projects we admire, we bring you the GitHub Developer Profile blog series. Hiroshi “Nahi” Nakamura, currently a Site Reliability Engineer (SRE) and Software Engineer at…

The open source community on GitHub has released some of the world’s most influential technologies. Earlier this month, a new dependency manager for JavaScript called Yarn was launched and hit…

Celebrate open source this October by participating in Hacktoberfest, a month-long festival of code organized by our friends at DigitalOcean and hosted on GitHub. To participate, simply open a pull…

On September 14 in San Francisco, more than 1,500 developers helped us kick off GitHub Universe and share stories about open source, workplace best practices, and how the GitHub Community…

Today I welcomed more than 1,500 people to our second annual Universe conference in San Francisco, an event designed to celebrate the people building the future of software. It’s an…

As we take this moment to celebrate our community at GitHub Universe, we’re amazed yet again by how the Octoverse has expanded and changed. Our community has grown to more…

If you’ve ever wanted to make minor changes before merging a pull request, now you can. When a user opens a pull request from a fork, they’ll be given a…

You might be familiar with how GitHub Pages helps you share your work with the world or maybe you have attended a class that helped you build your first GitHub…

We’re pleased to announce that version 2.0 of the GitHub Extension for Visual Studio is now available. You can install it directly from the Tools and Extensions gallery in Visual…

We’re making it easier to publish a website with GitHub Pages. Now you can select a source in your repository settings and GitHub Pages will look for your content there.…

At GitHub we use MySQL as our main datastore. While repository data lies in git, metadata is stored in MySQL. This includes Issues, Pull Requests, Comments etc. We also auth…

We’re taking Patchwork to sunny Tampa Bay on August 30. Together with our friends at Women in Linux, we’ll be hosting this event at First WaVE Venture Center. As with…