Re: [PATCH v2 07/12] commit: avoid race when creating orphan commits

2015-02-12 Thread Junio C Hamano
Good. -- To unsubscribe from this list: send the line "unsubscribe git" in the body of a message to majord...@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html

[PATCH v2 07/12] commit: avoid race when creating orphan commits

2015-02-12 Thread Michael Haggerty
If HEAD doesn't point at anything during the initial check, then we should make sure that it *still* doesn't point at anything when we are ready to update the reference. Otherwise, another process might commit while we are working (e.g., while we are waiting for the user to edit the commit message)