- Whitespace: Ever have someone push a commit that involves a lot of real changes mixed in with a bunch of less-meaningful whitespace? Add ?w=1 to the URL to see the diff with whitespace ignored.
- Cross-Repository Issue References: Sure, GitHub's all about social coding, but you can have social repositories, too. You can reference issues between repositories by mentioning user/repository#number in an issue. Once we see something like that — say, github/enterprise#59 — we'll make sure to update issue #59 in github's enterprise repository and let you know where it was referenced from. This is a part of GitHub Flavored Markdown, which also has a few tricks of its own.
- Hot Branch on Branch Pull Request Action: Pull Requests are awesome. They make it really easy to merge code between forks. But did you know you can use Pull Requests between branches, on the same repository? You don't need to fork repositories to use Pull Requests. Internally at GitHub, we almost always use Pull Requests between branches.
- Filter Notifications by Repository or User: Email notifications for Issues, Pull Requests, and Gists can easily be filtered by the List-ID header. Look for this header value to sort your notifications, or even forward them to a more appropriate email account. You can filter on *.org.github.com to filter out emails by organization, or repo.org.github.com to filter out emails from a specific repo.
- Subscribe to Threads: Now that you've got your mail filtering notifications, did you know you can let us know which threads to keep you notified on? On the bottom of the page, you can scroll down and click Enable notifications and we'll send you a notification when it's been updated. This works for issues, commit notes, pull requests... you name it. Too much email? You can disable it just as easily.
You can read the whole post on their blog.
No comments:
Post a Comment