1. 2013-11-26 Re: [PATCH] bash prompt: add option to disable for a git Thomas Rast 2. 2013-11-26 Re: [PATCH] bash prompt: add option to disable for a git Johannes Sixt 3. 2013-11-26 Re: [PATCH] bash prompt: add option to disable for a git SZEDER =?iso-8859- 4. 2013-11-25 Re: [PATCH] bash prompt: add option to disable for a git Jonathan Nieder 5. 2013-11-25 Re: [PATCH] bash prompt: add option to disable for a git Heikki Hokkanen 6. 2013-11-23 Re: [PATCH] bash prompt: add option to disable for a git SZEDER =?iso-8859- 7. 2013-11-23 Re: [PATCH] bash prompt: add option to disable for a git Heikki Hokkanen 8. 2013-11-23 Re: [PATCH] bash prompt: add option to disable for a git Johannes Sixt 9. 2013-11-23 [PATCH] bash prompt: add option to disable for a repo git Heikki Hokkanen