Search results for: Pull Request

Reading notifications on github.com is greatly improved thanks to the numerous enhancements shipped out earlier today. We’re excited to also announce a brand new email backend with support for rich…

Welcome to the first edition of Game Bytes, where we highlight some of the latest and greatest game development-related repositories, success stories, and other game-related tidbits. I talked with David…

The Git and GitHub plugins for Eclipse have leveled up today with version 2.0 released as part of Eclipse Juno. We are proud to also be launching eclipse.github.com to highlight…

Are you part of a software development team that’s recently moved to GitHub? Where some team members are excited to use git for source control but you’re more comfortable with…

Pull Requests and Issues now automatically update as new comments are posted. You no longer need to repeatedly refresh while you’re waiting for that pull request to finally be accepted.…

Some of the icons on our site have been the same since we launched 4 years ago. With metaphors that just barely fit what we needed them to, we felt…

For a while now, you have been able to @mention a user when discussing issues, pull requests, and commits. Now you can use the same convention to mention a Team…

Fabian “ryg” Giesen (@rygorous), one of the coders of the legendary demoscene group farbrausch, has open-sourced on GitHub a repository with some of the group’s work from 2001 to 2011.…

Spring is in the air. At GitHub we’re busting out the mops and hosing down the site. Today we’re removing two features. They’ve been gathering dust for a while and…

The PHP Core source code has migrated to git and is available on GitHub. Last fall the PHP core team voted to pick a distributed version control system and git…

Welcome to the The GitHub Reflog — the semi-regular chronicle of remarkable GitHub repos and community activity, brought to you by Kenneth Reitz. For previous editions, check out The Reflog…

@mentions are a great way to pull someone into a issue or pull request. Internally we use a /cc convention to call out people. A lot of our issues look…

The free GitHub Office Hours and Intro To GitHub classes (launched here, and here) have been a great success as we’ve piloted them over the last few months. One instance…

Today we’re launching GitHub Enterprise: a self-hosted GitHub for your company. Easy, Secure, and Powerful GitHub Enterprise has all the great stuff you’ve come to expect from GitHub: commit histories,…

Over the years we’ve added quite a bit of stuff to GitHub. Sometimes we ship huge features, sometimes we ship small, lesser-known bonus features. Let’s talk about some of those…

Over three years ago, @pjhyett launched GitHub Services with just four services: Campfire, IRC, Lighthouse, and Twitter. Since then, 124 other people contributed to a total of 68 third-party services.…

With Issues 2.0 and GFM, it is easy to link to users, issues and commits from issue comments: You can also mention issues directly from commit messages, and the mentioned…

The new Issues Dashboard. Now you can get all your issues on all your projects. Similar to the Pull Request Dashboard, the Issues Dashboard consolidates all of your issues in…

Scott Chacon (@schacon) has written a fantastic post regarding how we develop GitHub using GitHub itself. Do yourself a favor and head over to his blog: http://scottchacon.com/2011/08/31/github-flow.html If there’s only…

Pull requests, merge button, fork queue, issues, pages, wiki –– all awesome features that make sharing easier. But those things are only great after you’ve pushed your code to GitHub.…

The entire v3 API is finally here! From commit comments to raw Git access and everything in between, this release wraps up the major development effort around the API. We…