On Sat, Apr 7, 2012 at 3:30 PM, Tom Bachmann <[email protected]> wrote: > 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.
Uhm, sure. Thank you! Sergiu -- 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.
