On 07.04.2012 13:22, Sergiu Ivanov wrote:
On Sat, Apr 7, 2012 at 1:16 PM, Tom Bachmann<[email protected]> wrote:
On 04.04.2012 20:37, Tom Bachmann wrote:
update_branch latest_and_greatest my_pull_request)
#!/usr/bin/zsh
echo "Updating $2 from $1."
comment=$(git log $2 | head -5 | tail -1)
newrev=$(git log $1 | grep -B 4 -F "$comment" | head -1 | awk '{print $2}')
newcomment=$(git log $newrev | head -5 | tail -1)
if [ "x$comment" != "x$newcomment" ] ; then
echo "Comments do not match! Aborting.">> /dev/stderr
exit 1
fi
git checkout $1
git branch -D $2
git checkout -b $2 $newrev
git checkout $1
Just checking:
This script:
1. checks whether latest_and_greatest has been just included into
my_pull_request,
2. drops latest_and_greatest,
3. recreates latest_and_greatest from my_pull_request?
The other way round.
--
You received this message because you are subscribed to the Google Groups
"sympy" group.
To post to this group, send email to [email protected].
To unsubscribe from this group, send email to
[email protected].
For more options, visit this group at
http://groups.google.com/group/sympy?hl=en.
