Re: git died

On Thu, 26 Apr 2007, Christian wrote:

hi list,

i've got git-1.5.1 here and did a git push to a http based repository, i got 
a segfault :(

please see the logs :

...

root@beroTester:/usr/src/mISDN# gdb git core
GNU gdb 6.0
Copyright 2003 Free Software Foundation, Inc.
GDB is free software, covered by the GNU General Public License, and you are
welcome to change it and/or distribute copies of it under certain conditions.
Type "show copying" to see the conditions.
There is absolutely no warranty for GDB.  Type "show warranty" for details.
This GDB was configured as "i386-linux"...

warning: core file may not match specified executable file.
Core was generated by `/usr//bin/git-http-push

git-http-push is a separate program.  You might want to try "gdb 
git-http-push core"?

-- 
Julian

  ---