Omit [ skip ci ] from GitHub release notes.

Odd formatting necessary to avoid getting stripped for release notes. [ci skip]
rubinius · Feb 20, 2016 · 333e3d7 · 333e3d7
1 parent 619c693
commit 333e3d7
Showing 1 changed file with 2 additions and 1 deletion.
diff --git a/scripts/github.sh b/scripts/github.sh
@@ -21,7 +21,8 @@ function rbx_github_release {
   fi
 
   log=$(git log --color=never --max-parents=1 --reverse --pretty='format:* %s (%an)%+b' \
-    "v$previous..v$version" | sed 's/\[ci skip\]//' | sed '/^$/N;/^\n$/D')
+    "v$previous..v$version" | sed 's/\[ci skip\]//' | sed 's/\[skip ci\]//' \
+    | sed '/^$/N;/^\n$/D')
 
   unset GEM_HOME GEM_PATH GEM_ROOT