"Shawn O. Pearce" <spearce@xxxxxxxxxxx> writes: > Matthias Lederhofer <matled@xxxxxxx> wrote: >> core.workdir is used as default value for $GIT_WORK_DIR > ... >> -- >> gitgui.0.6.3.g4bccd > > Really? gitgui generates emails now? ;-) It might not be a bad idea actually. You let people make commits. Why not let them pick commits, run format-patch and drive send-email for them from the UI? - To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majordomo@xxxxxxxxxxxxxxx More majordomo info at http://vger.kernel.org/majordomo-info.html