Skip to content

Instantly share code, notes, and snippets.

@joshrp

joshrp/mergedPulls

Created January 3, 2014 11:41
Show Gist options
  • Save joshrp/8236635 to your computer and use it in GitHub Desktop.
Save joshrp/8236635 to your computer and use it in GitHub Desktop.
Download ZIP
Raw
mergedPulls
#!/bin/bash
$NAME=joshrp
git log --since=14.days --format='%h %cr %s' upstream/develop | grep -P "Merge pull request #\d+ from $NAME"
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment