What I’m about to show you are functionalities that I’ve actually needed at one point or another, but which aren’t featured proeminently in the github interface.
In both cases, start at a repository’s home page. For example:
https://github.com/wp-cli/wp-cli
See commits from a certain user
- Click the Stats & Graphs button.
- Click the Contributors tab.
- Click the name of the contributor you’re interested in.
You’ll end up with an URL like this:
https://github.com/wp-cli/wp-cli/commits/master?author=scribu
See issues assigned to a certain user
In Github Issues, it’s really easy to see tickets assigned to yourself, but no apparent way to view tickets assigned to others. There is a method, but it’s rather convoluted:
- Click the Issues button.
- Do a random search using the Issues & Milestones search box.
- Select “Assigned to” user from the dropdown on the left.
The final URL will be:
https://github.com/wp-cli/wp-cli/issues?assignee=andreascreten&state=all
Search through code or commit messages of a repository
Just append /search
to the repository URL:
https://github.com/wp-cli/wp-cli/search
For more hidden goodness, see GitHub Secrets and Git and GitHub Secrets.