Merge branch 'es/worktree-add' into maint
authorJunio C Hamano <gitster@pobox.com>
Wed, 4 Nov 2015 22:20:44 +0000 (14:20 -0800)
committerJunio C Hamano <gitster@pobox.com>
Wed, 4 Nov 2015 22:20:44 +0000 (14:20 -0800)
commitd091031ce2d6bf8a8e9bc4d16acf426449c62a68
treeeaaa4454d2b6ffc95216a76e90e152ac4690b1ac
parentfdca2bed90a7991f2a3afc6a463e45acb03487ac
parentae9f2745bee74ed169f0ca2933b8cc9d21214110
Merge branch 'es/worktree-add' into maint

* es/worktree-add:
  worktree: usage: denote <branch> as optional with 'add'
builtin/worktree.c