diff options
| author | tekkub <tekkub@gmail.com> | 2010-10-30 16:21:55 -0600 |
|---|---|---|
| committer | tekkub <tekkub@gmail.com> | 2010-10-30 16:21:55 -0600 |
| commit | c3877a436174f315a5529bf028bd577ca7b8e795 (patch) | |
| tree | 685cca4f388b2ba298618a34b6a2c069916962bb /_posts/2010-03-02-changing-author-info.markdown | |
| parent | 02c3846636307e031e7963ffac8d4b600d2ade94 (diff) | |
Embed code directly (plus highlighting!) instead of using gists
Diffstat (limited to '_posts/2010-03-02-changing-author-info.markdown')
| -rw-r--r-- | _posts/2010-03-02-changing-author-info.markdown | 7 |
1 files changed, 4 insertions, 3 deletions
diff --git a/_posts/2010-03-02-changing-author-info.markdown b/_posts/2010-03-02-changing-author-info.markdown index 099aaf3..c567aef 100644 --- a/_posts/2010-03-02-changing-author-info.markdown +++ b/_posts/2010-03-02-changing-author-info.markdown @@ -9,8 +9,8 @@ If you need to modify the author info in your repo's history, you can do so with __Big bold warning__ This action is destructive to your repo's history. It's best to do this on a clone, just in case. Also beware that this should not be performed on a repo that has been shared with others. Use at your own risk. -<script src="http://gist.github.com/262686.js?file=history_rewrite.sh"> </script> -<noscript><pre>#!/bin/sh +{% highlight bash %} +#!/bin/sh git filter-branch --env-filter ' @@ -34,4 +34,5 @@ export GIT_AUTHOR_NAME="$an" export GIT_AUTHOR_EMAIL="$am" export GIT_COMMITTER_NAME="$cn" export GIT_COMMITTER_EMAIL="$cm" -'</pre></noscript>
\ No newline at end of file +' +{% endhighlight %}
\ No newline at end of file |
