Github pull requests are the mechanism by which contributors submit code for review and subsequent merging to a Github branch. It can sometimes be useful to grab a pull request as a branch in your local repository. This can be useful for example to diff with one of your local branches or to merge with one of your local branches.
To fetch a Github pull request, note down its number XYZ. Use this command to fetch it to a new local branch:
If you use Github a lot for browsing code, then you will find it irritating that it does not have a project explorer. That is, you want to explore the directory structure of a project and view the source code of the files by clicking through the directory structure. This is a standard feature in all IDEs and most editors.
Octotree provides just this useful feature to Github. This Chrome extension can be installed from here. Its source code is here.
On any Github project page, it gives a sidebar that shows the directory structure and you can click through to view the source code of any file in the project.
Tried with: Octotree 1.3.0, Chrome 35.0.1916.153 and Ubuntu 14.04
One of the coolest feature of Github is the calendar chart that is shows for your contributions. You can get a similar chart for any Mercurial repository on your computer using the Punchcard extension.
First clone the Punchcard repository in a suitable directory: