Search results for: Pull Request

Last year we shared some details on GitHub’s CSP journey. A journey was a good way to describe it, as our usage of Content Security Policy (CSP) significantly changed from…

Historically, we have used Redis in two ways at GitHub: We used it as an LRU cache to conveniently store the results of expensive computations over data originally persisted in…

We hope you will join us and our friends at linux.conf.au as we host a Patchwork on the isle of Tasmania, in the city of Hobart. The event is open…

The complete agenda for Git Merge 2017 is now live. Check it out. Learn how companies like Facebook, Microsoft, GitHub, Autodesk, Yubico, MIT, Atlassian, and the Software Freedom Conservancy are…

You can now resolve simple merge conflicts on GitHub right from your pull requests, saving you a trip to the command line and helping your team merge pull requests faster.…

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…