Advertisement
Guest User

Untitled

a guest
Apr 23rd, 2019
86
0
Never
Not a member of Pastebin yet? Sign Up, it unlocks many cool features!
text 0.26 KB | None | 0 0
  1. #!/usr/bin/env bash
  2.  
  3. while read line
  4. do
  5. patch=$(echo "$line" | sed
  6. 's,github\.com,patch-diff.githubusercontent.com/raw,; s,$,.patch,')
  7. prnr=$(echo "$line" | sed 's,.*/,,')
  8.  
  9. curl $patch | git am -s || exit 1
  10.  
  11. echo "Closes #$prnr"
  12. done < "${1:-/dev/stdin}"
Advertisement
Add Comment
Please, Sign In to add comment
Advertisement